Utilities to work with and produce manuals, ASCII text, and on-line documentation from a single source file