Adjusted to use the new module synopsis support macros.
diff --git a/Doc/lib/libstring.tex b/Doc/lib/libstring.tex
index 7d6f4bd..226f453 100644
--- a/Doc/lib/libstring.tex
+++ b/Doc/lib/libstring.tex
@@ -1,6 +1,8 @@
\section{Standard Module \module{string}}
-\label{module-string}
-\stmodindex{string}
+\declaremodule{standard}{string}
+
+\modulesynopsis{Common string operations.}
+
This module defines some constants useful for checking character
classes and some useful string functions. See the module