diff options
Diffstat (limited to '')
-rw-r--r-- | doc/porting/porting.texi | 28 |
1 files changed, 13 insertions, 15 deletions
diff --git a/doc/porting/porting.texi b/doc/porting/porting.texi index 13969006a7..1052097b53 100644 --- a/doc/porting/porting.texi +++ b/doc/porting/porting.texi @@ -25,17 +25,15 @@ @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 Porting Guide: (porting). The Porting Guide -END-INFO-DIR-ENTRY -@end format -@end ifinfo -@end ignore +@ifset use-ascii +@dircategory RTEMS On-Line Manual +@direntry +* RTEMS Porting Guide: (porting). The Porting Guide +@end direntry +@end ifset @c variable substitution info: @c @@ -55,10 +53,10 @@ 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 @@ -71,9 +69,9 @@ END-INFO-DIR-ENTRY @finalout @title RTEMS Porting 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 |