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

diff --git a/doc/not-implemented.texi b/doc/not-implemented.texi
index 5706068764..42e02b7c8f 100644
--- a/doc/not-implemented.texi
+++ b/doc/not-implemented.texi
@@ -7,6 +7,5 @@ implemented.
 @cindex unimplemented commands
 @cindex commands, unimplemented
 
-@include ni.texi
+@include doc/ni.texi
 
-@setfilename ignored