Added a warning at the top saying that user code should not use the

whrandom module directly.

diff --git a/Doc/lib/libwhrandom.tex b/Doc/lib/libwhrandom.tex
index b745f5bc055ac39121ec9a5b2a9f83b8154a1a81..cc00f198494d7133a4f94555ef699acf57126c29 100644 (file)
--- a/Doc/lib/libwhrandom.tex
+++ b/Doc/lib/libwhrandom.tex
@@ -4,6 +4,8 @@
 \declaremodule{standard}{whrandom}
 \modulesynopsis{Floating point pseudo-random number generator.}
 
+\strong{Note:}  This module is an implementation detail of the
+\refmodule{random} module.  Please do not use this module directly.
 
 This module implements a Wichmann-Hill pseudo-random number generator
 class that is also named \class{whrandom}.  Instances of the