X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffiles.texi;h=b4bdfb8c0eacaa9a677e6ef2c3b2bef209d1c984;hb=90a7573efd4992a972e70063793db0a7e41443d2;hp=0910d26016f36c49e278b36651d0336c4474b18f;hpb=707848060e414fe93458834446dd7cdbf800667f;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