From 980b1e87d40eedc175cdc76da668572b91784448 Mon Sep 17 00:00:00 2001 From: Daniel J Walsh Date: Thu, 15 Oct 2020 15:00:59 -0400 Subject: Switch use of Flags to Options Want to have man pages match commands, since we have lots of printed man pages with using Options, we will change the command line to use Options in --help. Signed-off-by: Daniel J Walsh --- hack/man-page-checker | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'hack/man-page-checker') diff --git a/hack/man-page-checker b/hack/man-page-checker index 45f9edbd1..8ee0aaf6d 100755 --- a/hack/man-page-checker +++ b/hack/man-page-checker @@ -92,10 +92,10 @@ function compare_usage() { # man page lists 'foo [*options*]', help msg shows 'foo [flags]'. # Make sure if one has it, the other does too. if expr "$from_man" : "\[\*options\*\]" >/dev/null; then - if expr "$from_help" : "\[flags\]" >/dev/null; then + if expr "$from_help" : "\[options\]" >/dev/null; then : else - echo "WARNING: $cmd: man page shows '[*options*]', help does not show [flags]" + echo "WARNING: $cmd: man page shows '[*options*]', help does not show [options]" rc=1 fi elif expr "$from_help" : "\[flags\]" >/dev/null; then -- cgit v1.2.3-54-g00ecf