This section describes the various scripts that are used to implement various stages of document processing or to orchestrate entire build sequences. Most of these tools are only useful in the context of building the standard documentation, but some are more general.
mkhowto can be used for both
manual class documents. It is usually a good idea to
always use the latest version of this tool rather than a
version from an older source release of Python. It can be
used to generate DVI, HTML, PDF, PostScript, and plain text
documents. The GNU info and iSilo formats will be supported
by this script in some future version.
Use the --help option on this script's command line to get a summary of options for this script.
XXX Need more here.
Vedete Circa questo documento... per informazioni su modifiche e suggerimenti.