Section headers MlDoC dot commands

Sections together with subsections are used to structure the complete manual document.

Available sections
Name begin end Comment
Package .PK .KP Name argument required
Program .PR .RP Name argument required
Generic Section S1 .S1 .1S Name argument required

The Name command must follow the section command immediately. Here is a short example for a new Package section in the document:

Example 
.PK 
    .NA Standard Library .AN 
    ... 
.KP

Packages can be ML-Libraries or other kinds of programming environments.

UP MlDoC dot commands