Additional information about HTMLDOC is available in this "readme" file.