path: root/doc/porting/porting.texi
diff options
Diffstat (limited to 'doc/porting/porting.texi')
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?
+@include version.texi
@include ../common/setup.texi
-* RTEMS Porting Guide: (porting). The Porting Guide
-@end format
-@end ifinfo
-@end ignore
+@ifset use-ascii
+@dircategory RTEMS On-Line Manual
+* RTEMS Porting Guide: (porting). The Porting Guide
+@end direntry
+@end ifset
@c variable substitution info:
@@ -55,10 +53,10 @@ END-INFO-DIR-ENTRY
@c Title Page Stuff
-@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 I don't really like having a short title page. --joel
@@ -71,9 +69,9 @@ END-INFO-DIR-ENTRY
@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
@include ../common/cpright.texi