docbook output is now generated into a singlefile called "doctrine.html", and a whole set of files in the "html" folder.
