X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=doc%2Fdev%2Fsystem-file-format.texi;h=fb131f5274f0d61e90f9eefdf0c994c413b7e468;hb=8e27b1a0dba7f33b7acb0d8894efe2045b0bb98f;hp=7cc0342c4cd81e966f45abbeafb9c65a3d2cce60;hpb=8961943f7492c63ba29cbb61faf698b59aca4ff2;p=pspp

diff --git a/doc/dev/system-file-format.texi b/doc/dev/system-file-format.texi
index 7cc0342c4c..fb131f5274 100644
--- a/doc/dev/system-file-format.texi
+++ b/doc/dev/system-file-format.texi
@@ -605,7 +605,10 @@ char                lines[][80];
 Record type.  Always set to 6.
 
 @item int32 n_lines;
-Number of lines of documents present.
+Number of lines of documents present.  This should be greater than
+zero, but the system file writer that identifies itself as
+@url{https://github.com/WizardMac/ReadStat} writes document records
+with zero @code{n_lines}.
 
 @item char lines[][80];
 Document lines.  The number of elements is defined by @code{n_lines}.