From 9bc5a2686497ff5e225510383ccce669bfc19bb9 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 17 Feb 2015 17:54:22 +0100
Subject: Fix sentence that was cut in doc of Local Set.

---
 doc/refman/RefMan-oth.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex
index 40e0ecc11c..d1a1359d6d 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,
-- 
cgit v1.2.3