The

command displays long-form documentation for DejaGnu auxiliary commands.

Emit additional output describing the operation of

itself.

This option is simply passed on to

This option is simply passed on to

The

command checks for man pages in a

directory next to the

directory where this script is located. If the page is found there, a full file name is given to

Otherwise, only the command name is given and the search described in

is performed.

Jacob Bachmeyer

Currently only supports man pages.