@Section
    @Title { Code generation }
    @Tag { codegen }
@Begin
@LP
Code generation is the actual production of C code.  C-specific material
is concentrated in the @CP { CODEGEN } class, whose various capabilities
are the subject of this section.
@BeginSubSections

@Include { codegen.cnames }
@Include { codegen.ctypes }
@Include { codegen.files }
@Include { codegen.compile }

@EndSubSections
@End @Section
