aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJacob Bachmeyer <jcb@gnu.org>2021-04-01 18:08:49 -0500
committerJacob Bachmeyer <jcb@gnu.org>2021-04-01 18:08:49 -0500
commitea9642561c3f410dfb9f1362bc61fdf4e499b7f4 (patch)
tree7c738759d087bd6464979fe26181b5c018864da9
parentbda78c625a56790f0df2f9c592c3ae4472ace6f4 (diff)
downloaddejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.zip
dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.tar.gz
dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.tar.bz2
Revise usage messages to better fit GNU conventions
-rw-r--r--ChangeLog8
-rw-r--r--commands/help.sh2
-rw-r--r--commands/report-card.awk6
-rwxr-xr-xdejagnu2
4 files changed, 13 insertions, 5 deletions
diff --git a/ChangeLog b/ChangeLog
index 1c250a2..91f6d57 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2021-04-01 Jacob Bachmeyer <jcb@gnu.org>
+
+ PR47533
+
+ * dejagnu, commands/help.sh, commands/report-card.awk: Revise help
+ message to better fit GNU conventions, with thanks to Tom Tromey
+ for the reporting this issue.
+
2021-03-30 Jacob Bachmeyer <jcb@gnu.org>
* configure: Regenerate.
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
diff --git a/dejagnu b/dejagnu
index ff4994e..695c4e5 100755
--- a/dejagnu
+++ b/dejagnu
@@ -45,7 +45,7 @@
# variables. In this script, the intended meaning is obvious in context.
# ##help
-# #Usage: dejagnu <command> [--help|options...]
+# #Usage: dejagnu COMMAND [ --help | OPTIONS... ]
# #Usage: dejagnu --help
# #Usage: dejagnu --version
# # --help Print help text