Adjusted to use the new module synopsis support macros.
diff --git a/Doc/lib/librandom.tex b/Doc/lib/librandom.tex
index b76822e..4806876 100644
--- a/Doc/lib/librandom.tex
+++ b/Doc/lib/librandom.tex
@@ -1,6 +1,8 @@
\section{Standard Module \module{random}}
-\label{module-random}
-\stmodindex{random}
+\declaremodule{standard}{random}
+
+\modulesynopsis{Generate pseudo-random numbers with various common distributions.}
+
This module implements pseudo-random number generators for various
distributions: on the real line, there are functions to compute normal