Text and inserts are edited with FrameMaker , converted to pdf with Distiller and printed from Acrobat :
There is a content-specific set of paragraph and character styles common to all documents.
The styles are mapped to html on the book reference pages.
html is produced with FrameMaker and postprocessed with a shell script. The style sheet is replaced.
Links to the Java API can be inserted into html with a lex program.
