X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;fp=doc%2Flanguage.texi;h=71dd6a5fb73673b02b2d35f08f5bdbfa12024695;hb=8d023f3691564159dfd300cc92f386b47186bf50;hp=77270c80b436e4599ac562aaf86c044c94f1921f;hpb=f2175b7167a5d2abacf3edbb1fa098716fc52442;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