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