diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawltxdgYMUK4CMJh3jC8AlegwyoiHA9Ka7o <Justin@web> | 2015-03-27 21:43:50 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2015-03-27 21:43:50 +0000 |
| commit | ee2b9e4f0bdcc445ac2d6352a2a13b3273a3553f (patch) | |
| tree | 0907dc2bd79aa29c96f161cf40fe0cc1fb84194a /doc/bugs/package_build_fails_with_missing_man_directory.mdwn | |
| parent | 406f534fc9af2e3020e0601f15f9d76e43d9614d (diff) | |
Post patch for man page make rule
Diffstat (limited to 'doc/bugs/package_build_fails_with_missing_man_directory.mdwn')
| -rw-r--r-- | doc/bugs/package_build_fails_with_missing_man_directory.mdwn | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/doc/bugs/package_build_fails_with_missing_man_directory.mdwn b/doc/bugs/package_build_fails_with_missing_man_directory.mdwn new file mode 100644 index 000000000..f3d557709 --- /dev/null +++ b/doc/bugs/package_build_fails_with_missing_man_directory.mdwn @@ -0,0 +1,28 @@ +When building a debian package, the build fails due to a missing man/ directory. + + ./Build/mdwn2man man/git-annex-vpop.1 1 doc/git-annex-vpop.mdwn > man/git-annex-vpop.1 + /bin/sh: 1: cannot create man/git-annex-vpop.1: Directory nonexistent + +I was able to build the package with the following patch: + +[[!format patch """ +From: Justin Geibel <jtgeibel@gmail.com> +Date: Fri, 27 Mar 2015 16:21:13 -0400 +Subject: Fix build of man pages + +--- + Makefile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Makefile b/Makefile +index d6fb1a1..b36cbcd 100644 +--- a/Makefile ++++ b/Makefile +@@ -1,5 +1,5 @@ + mans=$(shell find doc -maxdepth 1 -name git-annex*.mdwn | sed -e 's/^doc/man/' -e 's/\.mdwn/\.1/') +-all=git-annex $(mans) docs ++all=git-annex mans docs + + CABAL?=cabal # set to "./Setup" if you lack a cabal program + GHC?=ghc +"""]] |