dejagnu help tool displays long-form documentation for
DejaGnu auxiliary commands that are invoked using the
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
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