diff options
| author |  Miklos Vajna <vmiklos@frugalware.org> | 2008-12-10 23:44:50 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-12-10 19:17:43 -0800 |
| commit | a325a1a70b90a0cef39a258f1471e5770aa66eee (patch) | |
| tree | fbf69800b68de223c5b1af95c2c1a4ccd80633d7 /Makefile | |
| parent | Merge branch 'maint' (diff) | |
| download | tgif-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-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |