High Quality Content by WIKIPEDIA articles! HTMLDOC is a commercially developed open-source program that converts HTML web pages and files to indexed HTML, PostScript, and PDF files, complete with a table-of-contents and (in the current development snapshot) index. HTMLDOC can be used from the command-line, a simple GUI, or from a web server.