diff options
Diffstat (limited to '')
-rw-r--r-- | doc/user/overview.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/overview.t b/doc/user/overview.t index 8ec1675e6f..51821e6da6 100644 --- a/doc/user/overview.t +++ b/doc/user/overview.t @@ -437,7 +437,7 @@ names are printed in bold type. @item Items in bold capital letters are constants defined by RTEMS. Each language interface provided by RTEMS includes a file containing the standard set of constants, data types, and -structure definitions which can be incorporated into the user +@value{STRUCTURE} definitions which can be incorporated into the user application. @item A number of type definitions are provided by RTEMS and |