Adjusted to use the new module synopsis support macros.
diff --git a/Doc/lib/libmain.tex b/Doc/lib/libmain.tex
index df1fbfb..39edfd7 100644
--- a/Doc/lib/libmain.tex
+++ b/Doc/lib/libmain.tex
@@ -1,6 +1,8 @@
\section{Built-in Module \module{__main__}}
-\label{module-main}
-\bimodindex{__main__}
+\declaremodule[main]{builtin}{__main__}
+
+\modulesynopsis{The environment where the top-level script is run.}
+
This module represents the (otherwise anonymous) scope in which the
interpreter's main program executes --- commands read either from
standard input or from a script file.