diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/shell/shell.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/shell/shell.texi b/doc/shell/shell.texi index 9d47a55df1..82dc9fc70a 100644 --- a/doc/shell/shell.texi +++ b/doc/shell/shell.texi @@ -62,6 +62,7 @@ @contents +@ifnottex @node Top, Preface, (dir), (dir) @top RTEMS Shell User's Guide @@ -77,6 +78,7 @@ * Concept Index:: * Command Index:: @end menu +@end ifnottex @include preface.texi @include confinit.texi |