diff options
Diffstat (limited to 'doc/supplements/hppa1_1/hppa1_1.texi')
| -rw-r--r-- | doc/supplements/hppa1_1/hppa1_1.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/supplements/hppa1_1/hppa1_1.texi b/doc/supplements/hppa1_1/hppa1_1.texi index 86d4057243..d1e9d53455 100644 --- a/doc/supplements/hppa1_1/hppa1_1.texi +++ b/doc/supplements/hppa1_1/hppa1_1.texi @@ -35,10 +35,10 @@ END-INFO-DIR-ENTRY @c Title Page Stuff @c -@set edition 970904 -@set version 970904 -@set update-date 4 September 1997 -@set update-month September 1997 +@set edition @value{RTEMS-EDITION} +@set version @value{RTEMS-VERSION} +@set update-date @value{RTEMS-UPDATE-DATE} +@set update-month @value{RTEMS-UPDATE-MONTH} @c @c I don't really like having a short title page. --joel |