chiark / gitweb /
pock: Consistently use lowercase and no dots in option help.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:44:05 +0000 (11:44 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 21 Sep 2019 10:46:08 +0000 (11:46 +0100)
pock

diff --git a/pock b/pock
index cb499966d04f40f99367f4bc6b948e68e9701c2f..cb4497bbc18154b6f2ea8917a5c9fe0a38e0c41d 100644 (file)
--- a/pock
+++ b/pock
@@ -1011,13 +1011,13 @@ pock [-qv] CMD ARGS...
     description = 'Generate or verify certified prime numbers.')
   op.add_option('-v', '--verbose', dest = 'verbosity',
                 action = 'count', default = 1,
-                help = 'Print mysterious runes while looking for prime numbers.')
+                help = 'print mysterious runes while looking for prime numbers')
   op.add_option('-q', '--quiet', dest = 'quietude',
                 action = 'count', default = 0,
-                help = 'be quiet while looking for prime numbers.')
+                help = 'be quiet while looking for prime numbers')
   op.add_option('-s', '--sievebits', dest = 'sievebits',
                 type = 'int', default = 32,
-                help = 'Size (in bits) of largest small prime.')
+                help = 'size (in bits) of largest small prime')
   opts, argv = op.parse_args()
   VERBOSITY = opts.verbosity - opts.quietude
   p = ProgressReporter()