diff options
Diffstat (limited to 'commands')
-rw-r--r-- | commands/help.sh | 2 | ||||
-rw-r--r-- | commands/report-card.awk | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/commands/help.sh b/commands/help.sh index 309b7df..1070ece 100644 --- a/commands/help.sh +++ b/commands/help.sh @@ -20,7 +20,7 @@ # Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. # ##help -# #Usage: dejagnu help [options...] <command> +# #Usage: dejagnu help [ OPTIONS... ] COMMAND # # --verbose, -v Emit additional messages # # --path, -w Passed to man(1) # # -W Passed to man(1) diff --git a/commands/report-card.awk b/commands/report-card.awk index b04c0e9..dc5c4e9 100644 --- a/commands/report-card.awk +++ b/commands/report-card.awk @@ -1,5 +1,5 @@ # report-card.awk -- Test summary tool -# Copyright (C) 2018 Free Software Foundation, Inc. +# Copyright (C) 2018, 2021 Free Software Foundation, Inc. # # This file is part of DejaGnu. # @@ -20,8 +20,8 @@ # This file was written by Jacob Bachmeyer. # ##help -# #Usage: dejagnu report card [<option>|<tool>|<file>]... -# #Usage: dejagnu report-card [<option>|<tool>|<file>]... +# #Usage: dejagnu report card [ OPTION | TOOL | FILE ]... +# #Usage: dejagnu report-card [ OPTION | TOOL | FILE ]... # # --verbose, -v Emit additional messages # ##end |