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/ada_user | |
parent | Enhanced. (diff) | |
download | rtems-8a8b7519414c3bf0e739096fed824413c4864342.tar.bz2 |
Added variables for dates and revision info
Diffstat (limited to '')
-rw-r--r-- | doc/ada_user/ada_user.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/ada_user/ada_user.texi b/doc/ada_user/ada_user.texi index 0ea9f960ef..5710726f7c 100644 --- a/doc/ada_user/ada_user.texi +++ b/doc/ada_user/ada_user.texi @@ -53,10 +53,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 |