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

diff --git a/doc/invoking.texi b/doc/invoking.texi
index d761935861..6b45392b5b 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