diff options
| author | Miklos Vajna <vmiklos@frugalware.org> | 2008-12-11 01:44:50 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-12-11 06:17:43 +0300 |
| commit | a325a1a70b90a0cef39a258f1471e5770aa66eee (patch) | |
| tree | fbf69800b68de223c5b1af95c2c1a4ccd80633d7 /INSTALL | |
| parent | 5363d0744e7360beee990d3c2a8c1eb64a23071e (diff) | |
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. |