diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/porting/porting.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/porting/porting.texi b/doc/porting/porting.texi index ed8e8ac664..0dabc3b4e2 100644 --- a/doc/porting/porting.texi +++ b/doc/porting/porting.texi @@ -80,6 +80,7 @@ @contents +@ifnottex @node Top, Preface, (dir), (dir) @top RTEMS Porting Guide @@ -98,6 +99,7 @@ * Command and Variable Index:: * Concept Index:: @end menu +@end ifnottex @include preface.texi @include developtools.texi |