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