diff options
Diffstat (limited to 'doc/refman/RefMan-oth.tex')
-rw-r--r-- | doc/refman/RefMan-oth.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex index 1fc5b5bf4..1a53adf69 100644 --- a/doc/refman/RefMan-oth.tex +++ b/doc/refman/RefMan-oth.tex @@ -769,12 +769,12 @@ and display the time needed to execute it. \section{Controlling display} -\subsection[\tt Set Silent.]{\tt Set Silent.\comindex{Begin Silent} +\subsection[\tt Set Silent.]{\tt Set Silent.\comindex{Set Silent} \label{Begin-Silent} \index{Silent mode}} This command turns off the normal displaying. -\subsection[\tt Unset Silent.]{\tt Unset Silent.\comindex{End Silent}} +\subsection[\tt Unset Silent.]{\tt Unset Silent.\comindex{Unset Silent}} This command turns the normal display on. \subsection[\tt Set Printing Width {\integer}.]{\tt Set Printing Width {\integer}.\comindex{Set Printing Width}} |