From 0ab1da6565172a5afa8e0deb8e9c4cc3451ba04f Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Thu, 27 Dec 2018 12:47:39 -0500 Subject: tools/shman.sh: Update and improve options help --- (limited to 'tools') diff --git a/tools/shman.sh b/tools/shman.sh index 3242329..f9c993e 100755 --- a/tools/shman.sh +++ b/tools/shman.sh @@ -278,14 +278,18 @@ help() usage cat < The source of the manual pages, e.g. a package name and version - [default: "Shell"] - -m The title of the manual [default: "Shell Functions"] - -d The directory in which to write manual pages [default: the - current working directory] - -t A file in which to list all documented symbols + -h Display this information + -V Display version information + -s The source of the manual pages, e.g. a package name and version + [default: "Shell"] + -m The title of the manual [default: "Shell Functions"] + -S Show how to load a shell shared object file (". ") in + "SYNOPSIS" sections + -b Look for listed source files in [default: the + current working directory] + -d Write manual pages in [default: the + current working directory] + -t List all documented symbols in EOF } -- cgit v0.9.1