gbranden pushed a commit to branch branden-2023-07-05
in repository groff.
commit 5741dd8064c40822ffb05458e62df5305eb96c5e
Author: G. Branden Robinson <[email protected]>
AuthorDate: Sat Apr 1 10:58:06 2023 -0500
[mm]: Document --help, --version in mmroff usage.
* contrib/mm/mmroff.pl: Document `--help` and `--version` options in
usage message.
---
contrib/mm/ChangeLog | 5 +++++
contrib/mm/mmroff.pl | 2 ++
2 files changed, 7 insertions(+)
diff --git a/contrib/mm/ChangeLog b/contrib/mm/ChangeLog
index d1c1523fc..ff3e8504b 100644
--- a/contrib/mm/ChangeLog
+++ b/contrib/mm/ChangeLog
@@ -1,3 +1,8 @@
+2023-04-01 G. Branden Robinson <[email protected]>
+
+ * mmroff.pl: Document `--help` and `--version` options in usage
+ message.
+
2023-06-30 G. Branden Robinson <[email protected]>
* tests/indexing-works.sh: Add unit test.
diff --git a/contrib/mm/mmroff.pl b/contrib/mm/mmroff.pl
index af8bf906e..9481e8329 100644
--- a/contrib/mm/mmroff.pl
+++ b/contrib/mm/mmroff.pl
@@ -31,6 +31,8 @@ my $no_exec;
if (grep(/^--help$/, @ARGV)) {
print "usage: mmroff [-x] [groff-option ...] [file ...]\n";
+ print "usage: mmroff --version\n";
+ print "usage: mmroff --help\n";
exit;
}
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
