Adjusted to use the new module synopsis support macros.
diff --git a/Doc/lib/libwhrandom.tex b/Doc/lib/libwhrandom.tex
index 0645b6f..bc7d402 100644
--- a/Doc/lib/libwhrandom.tex
+++ b/Doc/lib/libwhrandom.tex
@@ -1,6 +1,8 @@
\section{Standard Module \module{whrandom}}
-\label{module-whrandom}
-\stmodindex{whrandom}
+\declaremodule{standard}{whrandom}
+
+\modulesynopsis{Floating point pseudo-random number generator.}
+
This module implements a Wichmann-Hill pseudo-random number generator
class that is also named \code{whrandom}. Instances of the