dejagnu-help1
Display manual pages for dejagnu auxiliary commands
Usage
dejagnu help
[options ...]
⟨command⟩
Overview
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.
Releases
Unchanged in 3 releases since Debian 12 (Bookworm).