Next: Invoking dejagnu report card, Previous: Invoking dejagnu, Up: Running other DejaGnu commands [Contents][Index]
dejagnu helpThe dejagnu help tool displays long-form documentation for
DejaGnu auxiliary commands that are invoked using the
dejagnu launcher.
dejagnu help [options...] <command>
Again, command names may contain multiple words. This command forms
an operand by joining all words in the command name using dashes
(‘-’) and prepending ‘dejagnu-’. This is then used as the
name of a manual page and passed to the man command.
If the manual page is in a particular directory relative to the script
implementing this command, a full file name is produced, otherwise,
man performs its normal search.
The --verbose option causes additional output describing the
inner workings of the dejagnu help command to be produced.
The --path, -w, and -W options are passed
to man.