view docs/README @ 270:35b6787a5b39

Allow make install destination to be overridden Instead of hard coding /usr/local/bin as the installation location for make install, allow it to be overridden with DESTDIR. This is based on a patch submitted by Tormod Volden <debian.tormod@gmail.com> with minor modifications - notably that there is no need to silence the echoing of the commands for make install.
author William Astle <lost@l-w.ca>
date Sun, 07 Apr 2013 01:18:31 -0600
parents 2c24602be78f
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