diff options
Diffstat (limited to 'Doc/lib/libwhrandom.tex')
| -rw-r--r-- | Doc/lib/libwhrandom.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/lib/libwhrandom.tex b/Doc/lib/libwhrandom.tex index bc7d402e03..8df1b772b6 100644 --- a/Doc/lib/libwhrandom.tex +++ b/Doc/lib/libwhrandom.tex @@ -1,4 +1,5 @@ -\section{Standard Module \module{whrandom}} +\section{\module{whrandom} --- + Floating point pseudo-random number generator.} \declaremodule{standard}{whrandom} \modulesynopsis{Floating point pseudo-random number generator.} |