diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/develenv/develenv.texi | 26 |
1 files changed, 10 insertions, 16 deletions
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi index 330d68591b..33bf4fedfa 100644 --- a/doc/develenv/develenv.texi +++ b/doc/develenv/develenv.texi @@ -25,17 +25,16 @@ @c 2. Why does paragraphindent show up in HTML? @c +@include version.texi @include ../common/setup.texi -@ignore -@ifinfo -@format -START-INFO-DIR-ENTRY -* RTEMS C User: (develenv). The C User's Guide -END-INFO-DIR-ENTRY -@end format -@end ifinfo -@end ignore +@ifset use-ascii +@dircategory RTEMS On-Line Manual +@direntry +* RTEMS Development Environment Guide: (develenv). +@end direntry +@end ifset + @c variable substitution info: @c @@ -48,11 +47,6 @@ END-INFO-DIR-ENTRY @c Title Page Stuff @c -@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 @c @@ -64,9 +58,9 @@ END-INFO-DIR-ENTRY @finalout @title RTEMS Development Environment Guide -@subtitle Edition @value{edition}, for RTEMS @value{version} +@subtitle Edition @value{EDITION}, for RTEMS @value{VERSION} @sp 1 -@subtitle @value{update-month} +@subtitle @value{UPDATED} @author On-Line Applications Research Corporation @page @include ../common/cpright.texi |