ptlang program processes a .pl file and produces .cc, .h and .html files in the same directory as the .pl file. The contents of the htmldoc section of the .pl file end up in the .html file. See the Programmer's Manual for details.The Tycho on-line documentation includes a style guide in
$PTOLEMY/tycho/doc/documentation.html.