X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fportable-file-format.texi;h=d5f27610304ebac6948d99634ecbeaf4e2e5fa1f;hb=55178119a1dd305b7e0c3254cf5b6ddf6784e34f;hp=31c1ac3a5a65295beb60a3b4430269859e4584ab;hpb=a9acce47d67e0ab35ce1690e4f1b1ac0121c2d78;p=pspp

diff --git a/doc/dev/portable-file-format.texi b/doc/dev/portable-file-format.texi
index 31c1ac3a5a..d5f2761030 100644
--- a/doc/dev/portable-file-format.texi
+++ b/doc/dev/portable-file-format.texi
@@ -18,6 +18,7 @@ for portable files formatted in EBCDIC or other character sets.
 * Version and Date Info Record::
 * Identification Records::
 * Variable Count Record::
+* Precision Record::
 * Case Weight Variable Record::
 * Variable Records::
 * Value Label Records::
@@ -350,10 +351,16 @@ additional information on the product that wrote the portable file.
 @node Variable Count Record
 @section Variable Count Record
 
-The variable count record has tag code @samp{4}.  It consists of two
-integer fields.  The first contains the number of variables in the file
-dictionary.  The purpose of the second is unknown; it contains the value
-161 in all portable files examined so far.
+The variable count record has tag code @samp{4}.  It consists of a
+single integer field giving the number of variables in the file
+dictionary.
+
+@node Precision Record
+@section Precision Record
+
+The precision record has tag code @samp{5}.  It consists of a single
+integer field specifying the maximum number of base-30 digits used in
+data in the file.
 
 @node Case Weight Variable Record
 @section Case Weight Variable Record