diff options
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 |