The TEXEXT variable holds
the file extension of the output filename (that which replaces the .grg
part). Normally a .tex extension is used (for LaTeX). The example program
fragment below sets the value to .html.
%%DEFINE TEXEXT .html
Go to the first, previous, next, last section, table of contents.