Make GNU PDF manuals: converting texi files to html or pdf
All documentation in GNU PDF, as in many other free software projects, is written using texinfo. Texinfo is a documentation format by Richard Stallman and Bob Chassell, which aims to integrate all the project documentation in a unique source, and then produce any desired output document format in an automatic and transparent way. As described in the official page:
Texinfo uses a single source file to produce output in a number of formats, both online and printed (dvi, html, info, pdf, xml, etc.). This means that instead of writing different documents for online information and another for a printed manual, you need write only one document. And when the work is revised, you need revise only that one document.
Several tools and scripts are available from the usual repositories to transform texi files to html or pdf files. In Debian-like systems, they can be installed issuing:
-
sudo apt-get install texi2html texinfo
This should make available in your system the texi2html and texi2pdf binaries, which you can use to convert texi files into html or pdf files:
-
cd ~/trunk/doc/
-
texi2html *.texi
-
texi2pdf *.texi
Now you can read all GNU PDF manuals in your favourite format. Hope this helps!