diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-03-23 15:40:22 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-03-23 15:43:45 -0400 |
commit | 770ce7bf2a1fdc32d876deebfd23ddb90ad7c20b (patch) | |
tree | af698f76b7744b78ba3566d4ed26dbcacf182ca6 /Makefile | |
parent | 90c35465528195367cc4ed1e15478285d7b063f3 (diff) |
move build man pages to man/ from top dir
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -1,4 +1,4 @@ -mans=git-annex.1 $(shell find doc -maxdepth 1 -name git-annex-*.mdwn | sed -e 's/doc\///' -e 's/\.mdwn/\.1/') +mans=$(shell find doc -maxdepth 1 -name git-annex*.mdwn | sed -e 's/^doc/man/' -e 's/\.mdwn/\.1/') all=git-annex $(mans) docs CABAL?=cabal # set to "./Setup" if you lack a cabal program @@ -24,7 +24,7 @@ git-annex: Build/SysConfig.hs $(CABAL) build ln -sf dist/build/git-annex/git-annex git-annex -%.1: doc/%.mdwn +man/%.1: doc/%.mdwn ./Build/mdwn2man $@ 1 $< > $@ # These are not built normally. @@ -67,7 +67,10 @@ else IKIWIKI=ikiwiki endif -mans: $(mans) +mans: man $(mans) + +man: + mkdir -p man docs: mans $(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff \ |