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 /INSTALL | |
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 'INSTALL')
-rw-r--r-- | INSTALL | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -101,6 +101,9 @@ Issues of note: Building and installing the info file additionally requires makeinfo and docbook2X. Version 0.8.3 is known to work. + Building and installing the pdf file additionally requires + dblatex. Version 0.2.7 with asciidoc >= 8.2.7 is known to work. + The documentation is written for AsciiDoc 7, but "make ASCIIDOC8=YesPlease doc" will let you format with AsciiDoc 8. |