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

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