(date): Also accept dates like May-23-2003; suggestion

from Karl Berry, implemented by Jim Meyering.

diff --git a/lib/getdate.y b/lib/getdate.y
index 3c4a04000f676a754aa9a15580d7a16fc76bb694..b35130b7c854a24c43bc27e134ce8499b31ee009 100644 (file)
--- a/lib/getdate.y
+++ b/lib/getdate.y
@@ -321,6 +321,14 @@ date:
        PC.year.value = -$3.value;
        PC.year.digits = $3.digits;
       }
+  | tMONTH tSNUMBER tSNUMBER
+      {
+       /* e.g. JUN-17-1992.  */
+       PC.month = $1;
+       PC.day = -$2.value;
+       PC.year.value = -$3.value;
+       PC.year.digits = $3.digits;
+      }
   | tMONTH tUNUMBER
       {
        PC.month = $1;