diff options
| -rw-r--r-- | Doc/lib/libgetopt.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Doc/lib/libgetopt.tex b/Doc/lib/libgetopt.tex index 49e6e03ffd..558aafacaf 100644 --- a/Doc/lib/libgetopt.tex +++ b/Doc/lib/libgetopt.tex @@ -123,13 +123,16 @@ import getopt, sys def main(): try: - opts, args = getopt.getopt(sys.argv[1:], "ho:", ["help", "output="]) + opts, args = getopt.getopt(sys.argv[1:], "ho:v", ["help", "output="]) except getopt.GetoptError: # print help information and exit: usage() sys.exit(2) output = None + verbose = False for o, a in opts: + if o == "-v": + verbose = True if o in ("-h", "--help"): usage() sys.exit() |