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 provided under the terms of version 2 of the GNU General Public License with an exception to allow building against OpenSSL.