HTMLDOC 1.9.11 fixes some bugs and adds high-resolution desktop icons for Linux. Changes include:
--numbered
option did not work when the table-of-contents was disabled
(Issue #405)Enjoy!
Download HTMLDOC 1.9.11 Install HTMLDOC 1.9.11 Snap Home Page