HTMLDOC converts Hyper-Text Markup Language ("HTML") files and web pages into indexed HTML, Adobe® PostScript®, or Adobe Portable Document Format ("PDF") files. HTMLDOC is available in both commercial and open source versions.