How we generate the formats

This manual is written in XML using the » DocBook XML DTD, using » PhD (The [PH]P based
[D]ocBook renderer) for maintenance and formatting.

Using XML as a source format gives
the ability to generate many output formats from the source
files, while only maintaining one source document for all formats.
The tool used for formatting the online manual is » PhD.
We use » Microsoft HTML Help
Workshop to generate the Windows HTML Help format
of the manual, and of course PHP itself to do some
additional conversions and formatting.