From: Ben Pfaff <blp@gnu.org>
Date: Wed, 12 Jul 2006 14:05:34 +0000 (+0000)
Subject: Fix variable name description.
X-Git-Tag: v0.6.0~773
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6f74029d4dded39ec22045f318182cb75d11375a;p=pspp-builds.git

Fix variable name description.
Thanks to Oliver Bock for correction.
---

diff --git a/doc/data-file-format.texi b/doc/data-file-format.texi
index d0e8fddb..79f6bb3a 100644
--- a/doc/data-file-format.texi
+++ b/doc/data-file-format.texi
@@ -201,7 +201,7 @@ Write format for this variable.  See below.
 
 @item char name[8];
 Variable name.  The variable name must begin with a capital letter or
-the at-sign (@samp{@@}).  Subsequent characters may also be octothorpes
+the at-sign (@samp{@@}).  Subsequent characters may also be digits, octothorpes
 (@samp{#}), dollar signs (@samp{$}), underscores (@samp{_}), or full
 stops (@samp{.}).  The variable name is padded on the right with spaces.