Adjusted to use the new module synopsis support macros.
diff --git a/Doc/lib/libgetopt.tex b/Doc/lib/libgetopt.tex
index be00fef..6f839a7 100644
--- a/Doc/lib/libgetopt.tex
+++ b/Doc/lib/libgetopt.tex
@@ -1,6 +1,8 @@
 \section{Standard Module \module{getopt}}
-\label{module-getopt}
-\stmodindex{getopt}
+\declaremodule{standard}{getopt}
+
+\modulesynopsis{Parser for command line options.}
+
 
 This module helps scripts to parse the command line arguments in
 \code{sys.argv}.