X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finvoking.texi;h=6b45392b5b810332a94148ed1281fce1df933681;hb=c9ba3a14c478461aac8305599c070824113299c2;hp=d761935861c545f11d2fd9228d27d18fa2548b5b;hpb=fe76b9c2c49a0dd33aad5dfe3f03a056e6f96c21;p=pspp-builds.git

diff --git a/doc/invoking.texi b/doc/invoking.texi
index d7619358..6b45392b 100644
--- a/doc/invoking.texi
+++ b/doc/invoking.texi
@@ -224,4 +224,3 @@ Individual directories included in file searches.
 Each verbosity level also includes messages from lower verbosity levels.
 
 @end table
-@setfilename ignored