X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Futilities.texi;h=bcb97618a099d1f98c4a01281d2b9c3deaca4419;hb=65d87cf950fb5383a272905f2d7fdf94bcabfda2;hp=9f57a76739b43c0a7921b96df18bf66c32905e26;hpb=5933892c21c6166b5714be979116d3aa70219c57;p=pspp-builds.git

diff --git a/doc/utilities.texi b/doc/utilities.texi
index 9f57a767..bcb97618 100644
--- a/doc/utilities.texi
+++ b/doc/utilities.texi
@@ -10,6 +10,7 @@ encountered in the input.
 
 @menu
 * ADD DOCUMENT::                Add documentary text to the active file.
+* CACHE::                       Ignored for compatibility.
 * CD::                          Change the current directory.
 * COMMENT::                     Document your syntax file.
 * DOCUMENT::                    Document the active file.
@@ -52,6 +53,16 @@ DOCUMENTS}.
 Each line of documentary text must be enclosed in quotation marks, and 
 may not be more than 80 bytes long. @xref{DOCUMENT}.
 
+@node CACHE
+@section CACHE
+@vindex CACHE
+
+@display
+CACHE.
+@end display
+
+This command is accepted, for compatibility, but it has no effect.
+
 @node CD
 @section CD
 @vindex CD