Adjusted to use the new module synopsis support macros.
diff --git a/Doc/lib/libshelve.tex b/Doc/lib/libshelve.tex
index 90afbc6..6b5aa76 100644
--- a/Doc/lib/libshelve.tex
+++ b/Doc/lib/libshelve.tex
@@ -1,6 +1,8 @@
\section{Standard Module \module{shelve}}
-\label{module-shelve}
-\stmodindex{shelve}
+\declaremodule{standard}{shelve}
+
+\modulesynopsis{Python object persistency.}
+
A ``shelf'' is a persistent, dictionary-like object. The difference
with ``dbm'' databases is that the values (not the keys!) in a shelf