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

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