X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finvoking.texi;h=6b45392b5b810332a94148ed1281fce1df933681;hb=2643958c80bcf6132a8f3be20bc59a845545a195;hp=d761935861c545f11d2fd9228d27d18fa2548b5b;hpb=c54e462a57d5a53a7db97d064cde383eaaa30fe9;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