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

diff --git a/doc/not-implemented.texi b/doc/not-implemented.texi
index 57060687..0dd77d49 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