diff options
Diffstat (limited to 'Doc/lib/libprofile.tex')
| -rw-r--r-- | Doc/lib/libprofile.tex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Doc/lib/libprofile.tex b/Doc/lib/libprofile.tex index 61da988..421812a 100644 --- a/Doc/lib/libprofile.tex +++ b/Doc/lib/libprofile.tex @@ -255,8 +255,10 @@ of algorithms to be directly compared to iterative implementations. \section{Reference Manual} -\stmodindex{profile} -\label{module-profile} +\declaremodule{standard}{profile} + +\modulesynopsis{None} + The primary entry point for the profiler is the global function |