pock: Actually, the word `check' isn't optional.

Fix the usage synopsis.  The manpage has this right.

diff --git a/pock b/pock
index 46cde4d3ea4aa7d01a227a8cdf69036e0289be69..053cb3689ff6073a55faf2de6a5e38e9cb0fd302 100644 (file)
--- a/pock
+++ b/pock
@@ -1007,7 +1007,7 @@ def __main__():
 pock [-qv] CMD ARGS...
         gen NBITS
         ll NBITS NSUBBITS
-        [check] [FILE]''',
+        check [FILE]''',
     description = 'Generate or verify certified prime numbers.')
   op.add_option('-v', '--verbose', dest = 'verbosity',
                 action = 'count', default = 1,