X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvariables.texi;h=08c4bdeac0cd72a34be7f06dfcbba4f9e499e224;hb=b106c9452e2682e7923dc43028cf0e4b353e5443;hp=d5e2d14543bbe7d6c506a4854962daffb4bac643;hpb=2165f59ab9eee5272b4037e45477811627cae078;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