dejagnu-help - Man Page

The dejagnu help command displays long-form documentation for DejaGnu auxiliary commands.

-v, --verbose

Emit additional output describing the operation of dejagnu help itself.

-w, --path

This option is simply passed on to man.

-W

This option is simply passed on to man.

The dejagnu help command checks for man pages in a doc/ directory next to the commands/ directory where this script is located. If the page is found there, a full file name is given to man. Otherwise, only the command name is given and the search described in man(1) is performed.

man(1)

Jacob Bachmeyer

Currently only supports man pages.