diff options
Diffstat (limited to 'porting/index.rst')
| -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 |