diff options
| author | Markus Heidelberg <markus.heidelberg@web.de> | 2008-11-02 20:53:03 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-11-03 07:46:52 +0300 |
| commit | b1a46b70b3dcf139c05160e1420e915358b9f947 (patch) | |
| tree | fa90f0a0c54b17cf23d108f381d534bdecbcaf7b /Documentation/Makefile | |
| parent | 9f8f132621faedd250fded3e260402623da91a6f (diff) | |
Makefile: add install-man rules (quick and normal)
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index e33ddcb250..c34c1cae20 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -87,7 +87,9 @@ man7: $(DOC_MAN7) info: git.info gitman.info -install: man +install: install-man + +install-man: man $(INSTALL) -d -m 755 $(DESTDIR)$(man1dir) $(INSTALL) -d -m 755 $(DESTDIR)$(man5dir) $(INSTALL) -d -m 755 $(DESTDIR)$(man7dir) @@ -220,7 +222,9 @@ $(patsubst %.txt,%.html,$(wildcard howto/*.txt)): %.html : %.txt install-webdoc : html sh ./install-webdoc.sh $(WEBDOC_DEST) -quick-install: +quick-install: quick-install-man + +quick-install-man: sh ./install-doc-quick.sh $(DOC_REF) $(DESTDIR)$(mandir) quick-install-html: |