From a325a1a70b90a0cef39a258f1471e5770aa66eee Mon Sep 17 00:00:00 2001 From: Miklos Vajna Date: Wed, 10 Dec 2008 23:44:50 +0100 Subject: 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 Signed-off-by: Junio C Hamano --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 51581973ab..b1456a2e5b 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 -- cgit v1.2.1