X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fnot-implemented.texi;h=42e02b7c8f22ee0d4206fc6d7527a64a8e52c32d;hb=2643958c80bcf6132a8f3be20bc59a845545a195;hp=0dd77d499803e456e82093145d825dfe804e0ad0;hpb=c54e462a57d5a53a7db97d064cde383eaaa30fe9;p=pspp-builds.git

diff --git a/doc/not-implemented.texi b/doc/not-implemented.texi
index 0dd77d49..42e02b7c 100644
--- a/doc/not-implemented.texi
+++ b/doc/not-implemented.texi
@@ -9,4 +9,3 @@ implemented.
 
 @include doc/ni.texi
 
-@setfilename ignored