diff options
author | Junio C Hamano <junkio@cox.net> | 2007-04-20 07:47:04 +0400 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-04-20 07:47:04 +0400 |
commit | 4392da4d5d7585a9defa6869517cb354f7460f35 (patch) | |
tree | 597304fa13e006f5c1af788bed915a75c0c0dd60 /Makefile | |
parent | d56dbd67097a84dac1dbdf28c1a254f63f93724a (diff) |
Documentation: support manual section (5) - file formats.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1030,9 +1030,10 @@ dist-doc: gzip -n -9 -f $(htmldocs).tar : rm -fr .doc-tmp-dir - mkdir .doc-tmp-dir .doc-tmp-dir/man1 .doc-tmp-dir/man7 + mkdir -p .doc-tmp-dir/man1 .doc-tmp-dir/man5 .doc-tmp-dir/man7 $(MAKE) -C Documentation DESTDIR=./ \ man1dir=../.doc-tmp-dir/man1 \ + man5dir=../.doc-tmp-dir/man5 \ man7dir=../.doc-tmp-dir/man7 \ install cd .doc-tmp-dir && $(TAR) cf ../$(manpages).tar . |