diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-03-23 15:36:10 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-03-23 15:36:10 -0400 |
| commit | 90c35465528195367cc4ed1e15478285d7b063f3 (patch) | |
| tree | fc658fb5d483ad673d82bfa5c3d00bc4a7c2d5ef /Makefile | |
| parent | 052e77469015e82ca33733388ff5740fa06312e2 (diff) | |
splitting up the man page
Common command man pages all split out and often expanded.
A few sections split out into their own pages.
Still need to do all the other commands..
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,4 +1,4 @@ -mans=git-annex.1 git-annex-shell.1 +mans=git-annex.1 $(shell find doc -maxdepth 1 -name git-annex-*.mdwn | sed -e 's/doc\///' -e 's/\.mdwn/\.1/') all=git-annex $(mans) docs CABAL?=cabal # set to "./Setup" if you lack a cabal program @@ -67,7 +67,9 @@ else IKIWIKI=ikiwiki endif -docs: $(mans) +mans: $(mans) + +docs: mans $(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff \ --no-usedirs --disable-plugin=openid --plugin=sidebar \ --underlaydir=/dev/null --disable-plugin=shortcut \ |