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 | |
parent | 60a6d6eae95ad49b9ddf53c6767f22aa4b3897a2 (diff) |
Add indexes to all documents.
Update #3229.
Diffstat (limited to 'user')
-rw-r--r-- | user/genindex.rst | 4 | ||||
-rw-r--r-- | user/index.rst | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/user/genindex.rst b/user/genindex.rst new file mode 100644 index 0000000..07b4393 --- /dev/null +++ b/user/genindex.rst @@ -0,0 +1,4 @@ +.. comment SPDX-License-Identifier: CC-BY-SA-4.0 + +Index +===== 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 |