Port docbook2html and docbook2pdf.

Port OpenQube.
