X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fnot-implemented.texi;h=5a858d0314d14aaf47884fb533b11d1982a62200;hb=refs%2Fheads%2Flexer;hp=39c3a670418b1a3c479c12226c3cbf0ac1a06122;hpb=a258e53c63a08b0ec48aea8f03808eb651729424;p=pspp

diff --git a/doc/not-implemented.texi b/doc/not-implemented.texi
index 39c3a67041..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