5.2 Options

All options are specified on command line. See 3.2.

back to the content