DEJAGNU-HELP(1)          General Commands Manual (urm)         DEJAGNU-HELP(1)

نام (NAME)
     dejagnu help – display manual pages for DejaGnu auxiliary commands

خلاصه دستور (SYNOPSIS)
     dejagnu help [options...] ⟨command⟩

توضیحات (DESCRIPTION)
     The dejagnu help command displays long-form documentation for DejaGnu
     auxiliary commands.

گزینه‌ها (OPTIONS)
     -v, --verbose     Emit additional output describing the operation of
                       dejagnu help itself.

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

     -W                This option is simply passed on to man.

فایل‌ها (FILES)
     The dejagnu help 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.

همچنین ببینید (SEE ALSO)
     man(1)

نویسندگان (AUTHORS)
     Jacob Bachmeyer

اشکالات (BUGS)
     Currently only supports man pages.

GNU                            December 19, 2018                           GNU