diff options
Diffstat (limited to 'develenv/index.rst')
| -rw-r--r-- | develenv/index.rst | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/develenv/index.rst b/develenv/index.rst index 3517e24..0c30eb6 100644 --- a/develenv/index.rst +++ b/develenv/index.rst @@ -47,5 +47,4 @@ to the Community Project hosted at http://www.rtems.org/. utilities command -* :ref:`genindex` -* :ref:`search` + genindex |