X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fsystem-file-format.texi;h=70fa385c7525efea051a5bfb90fbf046bdb7e14b;hb=317ba3232cb1361259bba6aa8444b141068dd0d3;hp=193c66012c3fde1b37f15b8f0c3a0eaddb22e067;hpb=d4d89660d7a8f73ba8ae7ce09c50e3b6f3afb8e3;p=pspp-builds.git

diff --git a/doc/dev/system-file-format.texi b/doc/dev/system-file-format.texi
index 193c6601..70fa385c 100644
--- a/doc/dev/system-file-format.texi
+++ b/doc/dev/system-file-format.texi
@@ -606,7 +606,7 @@ int32               count;
 
 /* @r{Repeated @code{count} times}. */
 int32               measure;
-int32               width;
+int32               width;           /* @r{Not always present.} */
 int32               alignment;
 @end example
 
@@ -622,7 +622,7 @@ The size of @code{int32}.  Always set to 4.
 
 @item int32 count;
 The number of sets of variable display parameters (ordinarily the
-number of variables in the dictionary), times 3.
+number of variables in the dictionary), times 2 or 3.
 @end table
 
 The remaining members are repeated @code{count} times, in the same
@@ -648,6 +648,10 @@ as nominal scale.
 @item int32 width;
 The width of the display column for the variable in characters.
 
+This field is present if @var{count} is 3 times the number of
+variables in the dictionary.  It is omitted if @var{count} is 2 times
+the number of variables.
+
 @item int32 alignment;
 The alignment of the variable for display purposes: