DEJAGNU-HELP(1) General Commands Manual (urm) DEJAGNU-HELP(1) (NAME) dejagnu help - DejaGnu (SYNOPSIS) dejagnu help [options...] (DESCRIPTION) dejagnu help DejaGnu . (OPTIONS) -v, --verbose dejagnu help. -w, --path man . -W man . (FILES) dejagnu help man doc/ commands/ . man . man(1) . (SEE ALSO) man(1) (AUTHORS) Jacob Bachmeyer (BUGS) man . GNU December 19, 2018 GNU