Go to main content

man pages section 1: User Commands

Exit Print View

Updated: Wednesday, July 27, 2022
 
 

dejagnu-help (1)

Name

dejagnu-help - display manual pages for DejaGnu auxiliary commands

Synopsis

dejagnu help [options...] <command>

Description

DEJAGNU-HELP(1)             User's Reference Manual            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 com-
     mand name is given and the search described in man(1) is performed.


ATTRIBUTES
     See attributes(7) for descriptions of the following attributes:

     +---------------+------------------------+
     |ATTRIBUTE TYPE |    ATTRIBUTE VALUE     |
     +---------------+------------------------+
     |Availability   | developer/test/dejagnu |
     +---------------+------------------------+
     |Stability      | Uncommitted            |
     +---------------+------------------------+

SEE ALSO
     man(1)

AUTHORS
     Jacob Bachmeyer

BUGS
     Currently only supports man pages.



NOTES
     Source code for open source software components in Oracle Solaris can be
     found at https://www.oracle.com/downloads/opensource/solaris-source-code-
     downloads.html.

     This software was built from source available at https://github.com/ora-
     cle/solaris-userland.  The original community source was downloaded from
     https://ftp.gnu.org/gnu/dejagnu/dejagnu-1.6.3.tar.gz.

     Further information about this software can be found on the open source
     community website at https://www.gnu.org/software/dejagnu.

GNU                            December 19, 2018                           GNU