X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvariables.texi;fp=doc%2Fvariables.texi;h=eb931d448bf6a6283dec28484cdfc5edab874dde;hb=d1541b1258f0a28fe54ec061a8a9f2c459db8cc2;hp=587088ee78156ca5cd28233c37ea0ff7f8c6d79e;hpb=25bc101890a62f780da3a7c6af71ecc3ce09fdb1;p=pspp

diff --git a/doc/variables.texi b/doc/variables.texi
index 587088ee78..eb931d448b 100644
--- a/doc/variables.texi
+++ b/doc/variables.texi
@@ -404,15 +404,15 @@ response sets are currently used only by third party software.
 @vindex NUMERIC
 
 @display
-NUMERIC /@var{var_list} [(@var{fmt_spec})].
+NUMERIC @var{var_list} [(@var{fmt_spec})] [/@var{var_list} [(@var{fmt_spec})]]@dots{}
 @end display
 
 @cmd{NUMERIC} explicitly declares new numeric variables, optionally
 setting their output formats.
 
-Specify a slash (@samp{/}), followed by the names of the new numeric
-variables.  If you wish to set their output formats, follow their names
-by an output format specification in parentheses (@pxref{Input and Output
+Specify the names of the new numeric variables as @var{var_list}.  If
+you wish to set the variables' output formats, follow their names by
+an output format specification in parentheses (@pxref{Input and Output
 Formats}); otherwise, the default is F8.2.
 
 Variables created with @cmd{NUMERIC} are initialized to the