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 d0e8fddbd58b9aca0cc8783609d6bae71368a723..79f6bb3a1f7c8d6c85dd6ae829f3ccb11aa6c427 100644 (file)
--- 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.