$Id: README,v 1.2 2004/03/05 00:33:50 urkle Exp $

The "original" document is the Docbook file "manual.xml" -- all other
files here are derived from it.

To read the HTML docs, open manual.html in your browser.

To generate other formats of the documentation use xmlto to convert the xml file.