X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvariables.texi;fp=doc%2Fvariables.texi;h=ab6f83daea2d91c815ebc42e5edd106dafd827d1;hb=4e8bfea364b7a1d2d496e14dfefc9dfeefff8d11;hp=5cc1a23620a9d530fa142b0db15675f93f14c47c;hpb=b81922824d04dfc85e777827c3f978450dc62594;p=pspp

diff --git a/doc/variables.texi b/doc/variables.texi
index 5cc1a23620..ab6f83daea 100644
--- a/doc/variables.texi
+++ b/doc/variables.texi
@@ -600,18 +600,12 @@ purposes.   It does not affect the display of variables in the @pspp{} output.
 @section VARIABLE LEVEL
 @vindex VARIABLE LEVEL
 @display
-VARIABLE LEVEL
-        @var{var_list} ( SCALE | NOMINAL | ORDINAL )
-        [ /@var{var_list} ( SCALE | NOMINAL | ORDINAL ) ]
-        .
-        .
-        .
-        [ /@var{var_list} ( SCALE | NOMINAL | ORDINAL ) ]
+@t{VARIABLE LEVEL} @i{variables} @t{(}@{@t{SCALE} @math{|} @t{NOMINAL} @math{|} @t{ORDINAL}@}@t{)}@dots{}
 @end display
 
-@cmd{VARIABLE LEVEL} sets the measurement level of  variables.
-Currently, this has no effect except for certain third party software.
-
+@cmd{VARIABLE LEVEL} sets the measurement level of @var{variables} as
+specified.  @xref{Attributes}, for the definitions of the available
+measurement levels.
 
 @node VARIABLE ROLE
 @section VARIABLE ROLE