diff options
| -rw-r--r-- | doc/latex/cactus.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/latex/cactus.sty b/doc/latex/cactus.sty index 3010cd7b..8508f168 100644 --- a/doc/latex/cactus.sty +++ b/doc/latex/cactus.sty @@ -442,7 +442,7 @@ }%%% {\end{FunctionDescriptionWideEntry}} \newenvironment{SeeAlso}[1]{\item[\tt{##1}]}{} -\newenvironment{SeeAlso2}[2]{\item[\tt{##1} \rm{(page~\pageref{##2})}]}{} +\newenvironment{SeeAlso2}[2]{\item[\tt{##1} \rm{[\pageref{##2}]}]}{} % \newenvironment{ErrorSection} {%%% |