diff options
Diffstat (limited to 'doc/supplements/hppa1_1/hppa1_1.texi')
| -rw-r--r-- | doc/supplements/hppa1_1/hppa1_1.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/supplements/hppa1_1/hppa1_1.texi b/doc/supplements/hppa1_1/hppa1_1.texi index 7245b31e01..b64424671d 100644 --- a/doc/supplements/hppa1_1/hppa1_1.texi +++ b/doc/supplements/hppa1_1/hppa1_1.texi @@ -34,8 +34,8 @@ END-INFO-DIR-ENTRY @c @set edition 4.0.0a -@set update-date 25 April 1997 -@set update-month April 1997 +@set update-date 1 June 97 +@set update-month June 97 @c @c I don't really like having a short title page. --joel |