diff options
Diffstat (limited to '')
-rw-r--r-- | doc/develenv/develenv.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi index cd53017f07..7282678a69 100644 --- a/doc/develenv/develenv.texi +++ b/doc/develenv/develenv.texi @@ -46,7 +46,7 @@ END-INFO-DIR-ENTRY @c Title Page Stuff @c -@set edition 4.1.0a +@set edition 4.2.0-beta1 @set update-date 1 June 1997 @set update-month June 1997 @@ -61,7 +61,7 @@ END-INFO-DIR-ENTRY @finalout @title RTEMS Development Environment Guide -@subtitle Edition @value{edition}, for RTEMS 4.1.0 +@subtitle Edition @value{edition}, for RTEMS 4.2.0-prerelease @sp 1 @subtitle @value{update-month} @author On-Line Applications Research Corporation |