dejagnu help — display manual pages for DejaGnu auxiliary commands

       Jacob Bachmeyer

       Currently only supports man pages.

GNU                                             December 19, 2018                                DEJAGNU-HELP(1)

       The dejagnuhelp command displays long-form documentation for DejaGnu auxiliary commands.

       The  dejagnuhelp  command checks for man pages in a doc/ directory next to the commands/ directory where
       this script is located.  If the page is found there, a full file name is given to man.   Otherwise,  only
       the command name is given and the search described in man(1) is performed.

       dejagnu help — display manual pages for DejaGnu auxiliary commands

-v, --verbose  Emit additional output describing the operation of dejagnuhelp itself.

       -w, --path     This option is simply passed on to man.

       -W             This option is simply passed on to man.

man(1)

dejagnuhelp [options...] ⟨command⟩