/pkgs/tools/typesetting/htmldoc/