HTMLDOC converts HTML files and web pages into index HTML, Adobe Postscript or Adobe Portable Document Format files (pdf).