HTMLDOC

是一个HTML文件格式转换编辑器。可以在UNIX 和 Microsoft Windows 之间相互转换，还能生成.PDF的文件。适合于打印和浏览。

用于将HTML文件和网页转换为适合在线查看和打印的索引HTML、PostScript和PDF文件的工具。