1DEJAGNU-HELP(1)             User's Reference Manual            DEJAGNU-HELP(1)
2

NAME

4     dejagnu help — display manual pages for DejaGnu auxiliary commands
5

SYNOPSIS

7     dejagnu help [options...] ⟨command⟩
8

DESCRIPTION

10     The dejagnu help command displays long-form documentation for DejaGnu
11     auxiliary commands.
12

OPTIONS

14     -v, --verbose  Emit additional output describing the operation of
15                    dejagnu help itself.
16
17     -w, --path     This option is simply passed on to man.
18
19     -W             This option is simply passed on to man.
20

FILES

22     The dejagnu help command checks for man pages in a doc/ directory next to
23     the commands/ directory where this script is located.  If the page is
24     found there, a full file name is given to man.  Otherwise, only the com‐
25     mand name is given and the search described in man(1) is performed.
26

SEE ALSO

28     man(1)
29

AUTHORS

31     Jacob Bachmeyer
32

BUGS

34     Currently only supports man pages.
35
36GNU                            December 19, 2018                           GNU