The documentation is shipped as an SGML document. To build the PDF, TXT and HTML
versions of the documentation, run a "make" here. This uses tools debiandoc2xxx
from the "debiandoc-sgml" debian package
