X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvariables.texi;h=08c4bdeac0cd72a34be7f06dfcbba4f9e499e224;hb=1288f8123ea04686150b79b9e6a5d5d78c420353;hp=d5e2d14543bbe7d6c506a4854962daffb4bac643;hpb=8ea97bfb8e21cac5964212c175782c48159764b7;p=pspp-builds.git

diff --git a/doc/variables.texi b/doc/variables.texi
index d5e2d145..08c4bdea 100644
--- a/doc/variables.texi
+++ b/doc/variables.texi
@@ -555,4 +555,3 @@ variables
 to the specified format specification.  Its syntax is identical to
 that of FORMATS (@pxref{FORMATS}), but @cmd{WRITE FORMATS} sets only
 write formats, not print formats.
-@setfilename ignored