I guess the reason for this is that html and htmlsingle should share the same style instead of maintaining duplicates.
Yes, you are right, thank you, I missed that :).
Would it be possible for this build process to be updated to generate DJVU file for the documentation too (along with the PDF)?
DJVU seems to be an open source alternative to PDF, and it's also much more efficient and faster than PDF:
http://djvu.org/ Joseph.
