If we had a tool which would convert hundreds of HTML pages into a PDF file, we would do it. I made two attempts to convert the HTML pages into PDF and tried several both free and commercial tools, but I was not able to automate the process
I could add a feature to the online manual database which generates a single HTML page containing the whole manual in the right order of pages. All the headlines are structured using h2, h3, h4 (and so on) tags, so a tool could easily generate an index with links to the sections...