Using DocBook for hand-written docs

All hand-written documents are now DocBook XML instead
of plain HTML. From DocBook, HTML is generated. In addition,
there are DocBook generators for FO, PDF, JavaHelp, ...

For more information on DocBook see http://www.docbook.org

Have fun,
Klaus