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 /porting/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-- | porting/index.rst | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/porting/index.rst b/porting/index.rst index 0a0142b..88fad65 100644 --- a/porting/index.rst +++ b/porting/index.rst @@ -54,5 +54,4 @@ to the Community Project hosted at http://www.rtems.org/. miscellanous command -* :ref:`genindex` -* :ref:`search` + genindex |