view doc/README @ 337:04c80c51b16a

Checkpoint development
author lost
date Fri, 12 Mar 2010 06:01:38 +0000
parents ebff3a3e8fa6
children
line wrap: on
line source

If there are no html files in the "manual" directory and there is no
"manual.html" file, it means that you have either checked out the source
repository on a non-release branch or the packager messed up.

In either case, if you have "docbook2html" installed, you should be able
to build the manual with one of the following:

docbook2html -o manual manual.docbook.sgml

or

docbook2html -u manual.docbook.sgml && mv manual.docbook.html manual/manual.html

PDF can be generated by doing:

docbook2pdf -u manual.docbook.sgml && mv manual.docbook.pdf manual/manual.pdf