diff options
author | Chris Johns <chrisj@rtems.org> | 2017-11-12 10:32:39 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-11-12 10:32:39 +1100 |
commit | 42d50d760e6c829d5673299bb8c631b9fa5c1342 (patch) | |
tree | 3dcb99ac7f5bcec805bda50b4d2d6d8fad1b8b6c /user/index.rst | |
parent | Change RTEMS version to 5 (diff) | |
download | rtems-docs-42d50d760e6c829d5673299bb8c631b9fa5c1342.tar.bz2 |
Add indexes to all documents.
Update #3229.
Diffstat (limited to '')
-rw-r--r-- | user/index.rst | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/user/index.rst b/user/index.rst index e8ea9c4..3c29a64 100644 --- a/user/index.rst +++ b/user/index.rst @@ -56,5 +56,4 @@ to the Community Project hosted at http://www.rtems.org/. additional/index glossary/index -* :ref:`genindex` -* :ref:`search` + genindex |