aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Melquiond2016-08-04 08:00:05 +0200
committerGuillaume Melquiond2016-08-04 08:00:05 +0200
commit09018d8a3ca4a1b1b69d4baa911ac8e4f09b55e6 (patch)
tree1ef472d5f5c00083ec6a50ef88c9312ba62ba19b
parentba5c882c6c174170d18fe01f36863ca592065671 (diff)
Fix documentation typo (bug #4994).
-rw-r--r--doc/refman/RefMan-oth.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex
index 0a243308d5..ddbe0bbb31 100644
--- a/doc/refman/RefMan-oth.tex
+++ b/doc/refman/RefMan-oth.tex
@@ -87,7 +87,7 @@ is restored when the current \emph{section} ends.
\item {\tt Global Unset {\rm\sl flag}.\comindex{Global Unset}}\\
This command switches {\rm\sl flag} off. The original state of
{\rm\sl flag} is \emph{not} restored at the end of the module. Additionally,
-if set in a file, {\rm\sl flag} is switched on when the file is
+if set in a file, {\rm\sl flag} is switched off when the file is
{\tt Require}-d.
\end{Variants}