Add support for a pdf version of the user manual
commita325a1a70b90a0cef39a258f1471e5770aa66eee
authorMiklos Vajna <vmiklos@frugalware.org>
Wed, 10 Dec 2008 22:44:50 +0000 (10 23:44 +0100)
committerJunio C Hamano <gitster@pobox.com>
Thu, 11 Dec 2008 03:17:43 +0000 (10 19:17 -0800)
treefbf69800b68de223c5b1af95c2c1a4ccd80633d7
parent5363d0744e7360beee990d3c2a8c1eb64a23071e
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>
Documentation/Makefile
INSTALL
Makefile