HTMLDOC - Version 1.8.13 A HTML document conversion and formatting utility for UNIX and Microsoft Windows that produces indexed HTML, Portable Document Format ('PDF'), and Adobe PostScript files suitable for printing and on-line viewing.