From 42d50d760e6c829d5673299bb8c631b9fa5c1342 Mon Sep 17 00:00:00 2001 From: Chris Johns Date: Sun, 12 Nov 2017 10:32:39 +1100 Subject: Add indexes to all documents. Update #3229. --- porting/index.rst | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'porting/index.rst') 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 -- cgit v1.2.3