X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffiles.texi;h=2701d4dac7f136b965b4b7463862b93e855808fd;hb=05e356b2a3087e819ef3b5388e29c822f41502e1;hp=3321390edf6dd76d09617111e82db679edf93623;hpb=a7cc8b259f0fe963aa30d4e64f7d39551ded1454;p=pspp-builds.git

diff --git a/doc/files.texi b/doc/files.texi
index 3321390e..2701d4da 100644
--- a/doc/files.texi
+++ b/doc/files.texi
@@ -226,6 +226,7 @@ SAVE
         /@{COMPRESSED,UNCOMPRESSED@}
         /DROP=var_list
         /KEEP=var_list
+        /VERSION=version
         /RENAME=(src_names=target_names)@dots{}
 @end display
 
@@ -264,6 +265,12 @@ each may be present any number of times.  @cmd{SAVE} never modifies
 the active file.  DROP, KEEP, and RENAME only affect the system file
 written to disk.
 
+The VERSION subcommand specifies the version of the file format. Valid
+versions are '3' and '3x'.  Version 3x system files are identical to
+version 3 files, except that variable names greater than 8 bytes will
+be truncated.  The default version is 3.  The VERSION subcommand is
+optional.  There is no need ever to use it.
+
 @cmd{SAVE} causes the data to be read.  It is a procedure.
 
 @node SYSFILE INFO, XSAVE, SAVE, System and Portable Files