[ Thanks to Thomas
Chung for this link. ]
“HTMLDOC converts Hyper-Text Markup Language (‘HTML’) input
files into indexed HTML, Adobe PostScript, or Adobe Portable
Document Format (‘PDF’) files.“HTMLDOC supports most HTML 3.2 elements, some HTML 4.0
elements, and can generate title and table of contents pages. It
does not currently support stylesheets. HTMLDOC can be used as a
standalone application, in a batch document processing environment,
or as a web-based report generation application. No restrictions
are placed upon the output produced by HTMLDOC.