summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2015-03-23 15:40:22 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2015-03-23 15:43:45 -0400
commit770ce7bf2a1fdc32d876deebfd23ddb90ad7c20b (patch)
treeaf698f76b7744b78ba3566d4ed26dbcacf182ca6 /Makefile
parent90c35465528195367cc4ed1e15478285d7b063f3 (diff)
move build man pages to man/ from top dir
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile9
1 files changed, 6 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index d9100c49e..25f34416c 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \