diff options
Diffstat (limited to 'c-user/user_extensions.rst')
| -rw-r--r-- | c-user/user_extensions.rst | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/c-user/user_extensions.rst b/c-user/user_extensions.rst index 84af815..c83dcb0 100644 --- a/c-user/user_extensions.rst +++ b/c-user/user_extensions.rst @@ -4,9 +4,10 @@ .. COMMENT: On-Line Applications Research Corporation (OAR). .. COMMENT: All rights reserved. -.. _User Extensions Manager: .. index:: user extensions +.. _User Extensions Manager: + User Extensions Manager *********************** @@ -424,10 +425,11 @@ sequence, related constants, usage, and status codes. \clearpage -.. _rtems_extension_create: .. index:: create an extension set .. index:: rtems_extension_create +.. _rtems_extension_create: + EXTENSION_CREATE - Create a extension set ----------------------------------------- @@ -472,11 +474,12 @@ NOTES: \clearpage -.. _rtems_extension_ident: .. index:: get ID of an extension set .. index:: obtain ID of an extension set .. index:: rtems_extension_ident +.. _rtems_extension_ident: + EXTENSION_IDENT - Get ID of a extension set ------------------------------------------- @@ -513,10 +516,11 @@ NOTES: \clearpage -.. _rtems_extension_delete: .. index:: delete an extension set .. index:: rtems_extension_delete +.. _rtems_extension_delete: + EXTENSION_DELETE - Delete a extension set ----------------------------------------- |