This document has been produced as an xml docbook http://www.docbook.org. Tools have been used to convert the document to other forms such as html. To convert to html, docbook2html was used and the resulting html was then process with htmltidy: tidy -asxml -q To convert to RTF, docbook2rtf was used. To convert to PDF, docbook2pdf was used.