aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2015-02-17 17:54:22 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2015-02-17 17:55:13 +0100
commit9bc5a2686497ff5e225510383ccce669bfc19bb9 (patch)
tree0079a1a5eee0a53d9c2857b8b356f3c26ad8b56c
parentdf3d820b45695e273515f8d7cf7c0345c7d574c5 (diff)
Fix sentence that was cut in doc of Local Set.
-rw-r--r--doc/refman/RefMan-oth.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex
index 40e0ecc11..d1a1359d6 100644
--- a/doc/refman/RefMan-oth.tex
+++ b/doc/refman/RefMan-oth.tex
@@ -101,6 +101,7 @@ This command sets {\rm\sl option} to {\rm\sl value}. The original value of
\begin{Variants}
\item {\tt Local Set {\rm\sl option} {\rm\sl value}.\comindex{Local Set}}
This command sets {\rm\sl option} to {\rm\sl value}. The original value of
+{\rm\sl option} is restored at the end of the module.
\item {\tt Global Set {\rm\sl option} {\rm\sl value}.\comindex{Global Set}}
This command sets {\rm\sl option} to {\rm\sl value}. The original value of
{\rm\sl option} is \emph{not} restored at the end of the module. Additionally,