diff options
Diffstat (limited to '')
-rw-r--r-- | shell/index.rst | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/shell/index.rst b/shell/index.rst index 7a1e7c9..c56c384 100644 --- a/shell/index.rst +++ b/shell/index.rst @@ -55,5 +55,4 @@ to the Community Project hosted at http://www.rtems.org/. function_and_variable concept -* :ref:`genindex` -* :ref:`search` + genindex |