diff options
Diffstat (limited to 'doc/user/userext.t')
| -rw-r--r-- | doc/user/userext.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/userext.t b/doc/user/userext.t index dc49b03e65..06eaba7f86 100644 --- a/doc/user/userext.t +++ b/doc/user/userext.t @@ -85,7 +85,7 @@ user extension routines are invoked. Together a set of these routines typically perform a specific functionality such as performance monitoring or debugger support. RTEMS is informed of the entry points which constitute an extension set via the -following structure: +following @value{STRUCTURE}: @ifset is-C @example |