Hi,
I wanted to have a single PDF file which contains the complete Git documentation
(except user-manual) for easier reading on my tablet. The simplest way to do
this was by using wkhtmltopdf which can combine a set of HTML files into a sinlge
PDF file and also apply some reformatting. To this end HTML files for all the missing
files in Documentation/technical and Documentation/howto and also for all the
release notes in Documentation/RelNotes were created.
The resulting PDF file "git-doc.pdf" is created by a new make target called "fullpdf".
Hope anybody finds that useful.
---
Thomas