1 The "original" document is the Docbook file "manual.xml" -- all other 2 files here are derived from it. 3 4 To read the HTML docs, open manual.html in your browser. 5 6 To generate other formats of the documentation use xmlto or your favorite 7 xslt docbook converter to convert the xml file.