diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-03-27 17:56:45 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-03-27 17:56:45 -0400 |
| commit | ab180331853ad7942cd9d329d049a73a034e0ab9 (patch) | |
| tree | 9522cf431314cd98475de25c3f31672c10dd2517 | |
| parent | 389e36a3ddffa3b4079620138ea1f131f8e08a88 (diff) | |
| parent | ee2b9e4f0bdcc445ac2d6352a2a13b3273a3553f (diff) | |
Merge branch 'master' of ssh://git-annex.branchable.com
| -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 +"""]] |