X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fnot-implemented.texi;h=39c3a670418b1a3c479c12226c3cbf0ac1a06122;hb=967407e7a93e6ca9abe4d8371b50c5589bcda53a;hp=42e02b7c8f22ee0d4206fc6d7527a64a8e52c32d;hpb=bd17d2af982332ee1791998361b1ac6731fe14fa;p=pspp

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