summaryrefslogtreecommitdiffstats
path: root/doc/ada_user/ada_user.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/ada_user/ada_user.texi')
-rw-r--r--doc/ada_user/ada_user.texi1
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