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