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

diff --git a/doc/not-implemented.texi b/doc/not-implemented.texi
index 5706068764..5a858d0314 100644
--- a/doc/not-implemented.texi
+++ b/doc/not-implemented.texi
@@ -1,7 +1,7 @@
 @node Not Implemented
 @chapter Not Implemented
 
-This chapter lists parts of the PSPP language that are not yet
+This chapter lists parts of the @pspp{} language that are not yet
 implemented.
 
 @cindex unimplemented commands
@@ -9,4 +9,3 @@ implemented.
 
 @include ni.texi
 
-@setfilename ignored