diff options
| author | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-01 18:08:49 -0500 |
|---|---|---|
| committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-01 18:08:49 -0500 |
| commit | ea9642561c3f410dfb9f1362bc61fdf4e499b7f4 (patch) | |
| tree | 7c738759d087bd6464979fe26181b5c018864da9 /commands | |
| parent | bda78c625a56790f0df2f9c592c3ae4472ace6f4 (diff) | |
| download | dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.zip dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.tar.gz dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.tar.bz2 | |
Revise usage messages to better fit GNU conventions
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 |