X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffiles.texi;h=b4bdfb8c0eacaa9a677e6ef2c3b2bef209d1c984;hb=51d8c9b54d65bd0aa3944b8fb9d4460875048e14;hp=0910d26016f36c49e278b36651d0336c4474b18f;hpb=c13375ebe886fc3ed5ce70a260bb2b01cebb4b1f;p=pspp-builds.git

diff --git a/doc/files.texi b/doc/files.texi
index 0910d260..b4bdfb8c 100644
--- a/doc/files.texi
+++ b/doc/files.texi
@@ -439,7 +439,7 @@ a system file and displays information on its dictionary.
 @vindex XEXPORT
 
 @display
-EXPORT
+XEXPORT
         /OUTFILE='file-name'
         /DIGITS=n
         /DROP=var_list