diff options
Diffstat (limited to 'doc/develenv')
-rw-r--r-- | doc/develenv/develenv.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi index baa0225bb9..ce6d250a2c 100644 --- a/doc/develenv/develenv.texi +++ b/doc/develenv/develenv.texi @@ -48,10 +48,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 |