Next: , Previous: , Up: Running other DejaGnu commands   [Contents][Index]

3.2 Invoking dejagnu help

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