diff options
author | Michael J Gruber <michaeljgruber+gmane@fastmail.fm> | 2008-09-09 22:44:17 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-09-10 15:40:13 -0700 |
commit | 6fe570de05513bc13ac1e00ab3508ca525b41135 (patch) | |
tree | a58e7074db8d9fbb4f6dc9d82beced3e0a495e62 /Documentation/Makefile | |
parent | Fix git-diff-tree --stdin (diff) | |
download | tgif-6fe570de05513bc13ac1e00ab3508ca525b41135.tar.xz |
allow installation of man and html doc from the man and html branches
This patch introduces a make target "quick-install-html" which installs
the html documentation from the branch origin/html, without the need for
asciidoc/xmlto. This is analogous to the existing "quick-install-doc"
target for the man pages.
We advertise these targets in the INSTALL file now.
Signed-off-by: Michael J Gruber <michaeljgruber+gmane@fastmail.fm>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 62269e39c4..ded0e40b97 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -44,6 +44,7 @@ MANPAGE_XSL = callouts.xsl INSTALL?=install RM ?= rm -f DOC_REF = origin/man +HTML_REF = origin/html infodir?=$(prefix)/share/info MAKEINFO=makeinfo @@ -222,4 +223,7 @@ install-webdoc : html quick-install: sh ./install-doc-quick.sh $(DOC_REF) $(DESTDIR)$(mandir) +quick-install-html: + sh ./install-doc-quick.sh $(HTML_REF) $(DESTDIR)$(htmldir) + .PHONY: .FORCE-GIT-VERSION-FILE |