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 /environment.c | |
| 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 'environment.c')
0 files changed, 0 insertions, 0 deletions