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