From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 9 Feb 2012 20:35:53 +0000 (+0100)
Subject: Corrected typo in documentation
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=ed5759bce6240120b67feb99813b291b802bbc98;p=pspp

Corrected typo in documentation
---

diff --git a/doc/variables.texi b/doc/variables.texi
index 0517f1399c..8ef31fc91c 100644
--- a/doc/variables.texi
+++ b/doc/variables.texi
@@ -52,8 +52,8 @@ DELETE VARIABLES var_list.
 dictionary.  It may not be used to delete all variables from the
 dictionary; use @cmd{NEW FILE} to do that (@pxref{NEW FILE}).
 
-@cmd{DELETE VARIABLES} should not used after defining transformations
-and before executing a procedure.  If it is used in such a context, it
+@cmd{DELETE VARIABLES} should not be used after defining transformations
+but before executing a procedure.  If it is used in such a context, it
 causes the data to be read.  If it is used while @cmd{TEMPORARY} is in
 effect, it causes the temporary transformations to become permanent.