Doctext uses named commands for all of its output. For each of these
commands, there is a definition that tells doctext what to do
for each of these. For example, when doctext outputs a section
(from a line ending in a :), doctext uses the
section command. The default definition for this when
generating HTML is
section %n<H2>%1</H2>%nThis instructs doctext to output a newline if it isn't already at the start of a line (the %n); followed by standard HTML for a level 2 heading, followed by another newline. The %1 in the argument string stands for the first argument to the section command. To change the output style, you need only replace the command definitions. The next two sections detail the commands and the command language.