move build man pages to man/ from top dir

This commit is contained in:
Joey Hess 2015-03-23 15:40:22 -04:00
parent daec4b007a
commit bc1c18a951
3 changed files with 8 additions and 5 deletions

3
.gitignore vendored
View file

@ -13,8 +13,7 @@ Build/OSXMkLibs
Build/LinuxMkLibs
Build/BuildVersion
git-annex
git-annex.1
git-annex-shell.1
man
git-union-merge
git-union-merge.1
doc/.ikiwiki

View file

@ -3,6 +3,7 @@
my $prog=shift;
$prog=~s/\.\d+$//;
$prog=~s/man\///;
my $section=shift;
print ".TH $prog $section\n";

View file

@ -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 \