X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=71dd6a5fb73673b02b2d35f08f5bdbfa12024695;hb=9d6985ba382a3e0ba9057464996fc44d14de5f19;hp=77270c80b436e4599ac562aaf86c044c94f1921f;hpb=fc64edfca5e53e7a463dd25ab0c79cf135c33531;p=pspp

diff --git a/doc/language.texi b/doc/language.texi
index 77270c80b4..71dd6a5fb7 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -537,7 +537,12 @@ shuffled around.
 @cindex @code{$DATE}
 @item $DATE
 Date the @pspp{} process was started, in format A9, following the
-pattern @code{DD MMM YY}.
+pattern @code{DD-MMM-YY}.
+
+@cindex @code{$DATE11}
+@item $DATE11
+Date the @pspp{} process was started, in format A11, following the
+pattern @code{DD-MMM-YYYY}.
 
 @cindex @code{$JDATE}
 @item $JDATE