diff --git a/Doc/lib/libgetopt.tex b/Doc/lib/libgetopt.tex
index 49e6e03..558aafa 100644
--- a/Doc/lib/libgetopt.tex
+++ b/Doc/lib/libgetopt.tex
@@ -123,13 +123,16 @@
 
 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()