X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvariables.texi;h=ab6f83daea2d91c815ebc42e5edd106dafd827d1;hb=refs%2Fheads%2Fctables7;hp=54ae51a687a667b87dd224d2208a17d48bebcb85;hpb=ab659e9fb33af9978b555ec082bd3ef0a0a0f9d1;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