aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMiklos Vajna <vmiklos@frugalware.org>2008-12-10 23:44:50 +0100
committerJunio C Hamano <gitster@pobox.com>2008-12-10 19:17:43 -0800
commita325a1a70b90a0cef39a258f1471e5770aa66eee (patch)
treefbf69800b68de223c5b1af95c2c1a4ccd80633d7 /Makefile
parent5363d0744e7360beee990d3c2a8c1eb64a23071e (diff)
downloadgit-a325a1a70b90a0cef39a258f1471e5770aa66eee.tar.gz
git-a325a1a70b90a0cef39a258f1471e5770aa66eee.tar.xz
Add support for a pdf version of the user manual
Use dblatex in order to create a pdf version of the git user manual. No existing Makefile targets (including "all") are touched, so you need to explicitly say make pdf sudo make install-pdf to get user-manual.pdf created and installed. Signed-off-by: Miklos Vajna <vmiklos@frugalware.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 51581973a..b1456a2e5 100644
--- a/Makefile
+++ b/Makefile
@@ -1306,6 +1306,9 @@ html:
info:
$(MAKE) -C Documentation info
+pdf:
+ $(MAKE) -C Documentation pdf
+
TAGS:
$(RM) TAGS
$(FIND) . -name '*.[hcS]' -print | xargs etags -a
@@ -1448,6 +1451,9 @@ install-html:
install-info:
$(MAKE) -C Documentation install-info
+install-pdf:
+ $(MAKE) -C Documentation install-pdf
+
quick-install-doc:
$(MAKE) -C Documentation quick-install