Sponsor:

Your company here — click to reach over 10,000 unique daily visitors

dejagnu-help - Man Page

display manual pages for DejaGnu auxiliary commands

Synopsis

dejagnu help[options...] ⟨command

Description

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

Options

-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.

Files

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.

See Also

man(1)

Authors

Jacob Bachmeyer

Bugs

Currently only supports man pages.

Info

December 19, 2018