diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-26 20:30:52 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-26 20:30:52 +0000 |
commit | 8a8b7519414c3bf0e739096fed824413c4864342 (patch) | |
tree | 9ee94190eafc72d3bfde82cd31ccd03897db3bda /doc/develenv | |
parent | Enhanced. (diff) | |
download | rtems-8a8b7519414c3bf0e739096fed824413c4864342.tar.bz2 |
Added variables for dates and revision info
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 |