X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fnot-implemented.texi;h=39c3a670418b1a3c479c12226c3cbf0ac1a06122;hb=b4966f4dbc35894e029deec0d49f279e55b40067;hp=5706068764f485b3645e78b24cb4a3ddcb4dcd2f;hpb=00feff7775f55b3292d1f9461a79dde54b9eb2ba;p=pspp

diff --git a/doc/not-implemented.texi b/doc/not-implemented.texi
index 5706068764..39c3a67041 100644
--- a/doc/not-implemented.texi
+++ b/doc/not-implemented.texi
@@ -9,4 +9,3 @@ implemented.
 
 @include ni.texi
 
-@setfilename ignored