X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdata-io.texi;h=0b9583b0200779d9b4c8eda507158f3fd2499adb;hb=d6ede2e8f16079edae2e308583f8af4f7e9daddd;hp=59132bfddc96c08b02dd862f29c5d6011177e6cb;hpb=8af88c0b7ea2fe75df7e45497988ed0371006a86;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