X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdata-io.texi;h=0b9583b0200779d9b4c8eda507158f3fd2499adb;hb=1288f8123ea04686150b79b9e6a5d5d78c420353;hp=59132bfddc96c08b02dd862f29c5d6011177e6cb;hpb=2165f59ab9eee5272b4037e45477811627cae078;p=pspp-builds.git

diff --git a/doc/data-io.texi b/doc/data-io.texi
index 59132bfd..0b9583b0 100644
--- a/doc/data-io.texi
+++ b/doc/data-io.texi
@@ -1142,4 +1142,3 @@ specified output format, whereas @cmd{WRITE} outputs the
 system-missing value as a field filled with spaces.  Binary formats
 are an exception.
 @end itemize
-@setfilename ignored