diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/porting/porting.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/porting/porting.texi b/doc/porting/porting.texi index ebf7c796d6..53386ce0af 100644 --- a/doc/porting/porting.texi +++ b/doc/porting/porting.texi @@ -27,6 +27,7 @@ @include version.texi @include common/setup.texi +@include common/rtems.texi @ifset use-ascii @dircategory RTEMS On-Line Manual |