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=60bdb793cc664720752c8dfaf44373fa1bb1f5da;hp=54ae51a687a667b87dd224d2208a17d48bebcb85;hpb=844a9aa263650897bd17bf64511794f91158f6ed;p=pspp

diff --git a/doc/variables.texi b/doc/variables.texi
index 54ae51a687..ab6f83daea 100644
--- a/doc/variables.texi
+++ b/doc/variables.texi
@@ -600,17 +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.
-@xref{Attributes}.
+@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