diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/develenv/develenv.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi index 58af93892c..cd53017f07 100644 --- a/doc/develenv/develenv.texi +++ b/doc/develenv/develenv.texi @@ -47,8 +47,8 @@ END-INFO-DIR-ENTRY @c @set edition 4.1.0a -@set update-date 1 June 97 -@set update-month June 97 +@set update-date 1 June 1997 +@set update-month June 1997 @c @c I don't really like having a short title page. --joel |