diff options
| author | Junio C Hamano <gitster@pobox.com> | 2009-01-07 11:09:10 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-01-07 11:09:10 +0300 |
| commit | 8f8b8873a9f4e205eff9114e2679a887c38bf27a (patch) | |
| tree | e6b57bb8f8263064c67a040f1d1126ef02a57569 /Makefile | |
| parent | d9befc8b0bb03aaf38e9fde0450c968fda492fae (diff) | |
| parent | a325a1a70b90a0cef39a258f1471e5770aa66eee (diff) | |
Merge branch 'mv/um-pdf'
* mv/um-pdf:
Add support for a pdf version of the user manual
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1307,6 +1307,9 @@ html: info: $(MAKE) -C Documentation info +pdf: + $(MAKE) -C Documentation pdf + TAGS: $(RM) TAGS $(FIND) . -name '*.[hcS]' -print | xargs etags -a @@ -1449,6 +1452,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 |