summaryrefslogtreecommitdiff
path: root/Documentation/Makefile
diff options
context:
space:
mode:
authorLibravatar Michael J Gruber <michaeljgruber+gmane@fastmail.fm>2008-09-09 22:44:17 +0200
committerLibravatar Junio C Hamano <gitster@pobox.com>2008-09-10 15:40:13 -0700
commit6fe570de05513bc13ac1e00ab3508ca525b41135 (patch)
treea58e7074db8d9fbb4f6dc9d82beced3e0a495e62 /Documentation/Makefile
parentFix git-diff-tree --stdin (diff)
downloadtgif-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/Makefile4
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