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

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