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. --- user/index.rst | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'user/index.rst') diff --git a/user/index.rst b/user/index.rst index e8ea9c4..3c29a64 100644 --- a/user/index.rst +++ b/user/index.rst @@ -56,5 +56,4 @@ to the Community Project hosted at http://www.rtems.org/. additional/index glossary/index -* :ref:`genindex` -* :ref:`search` + genindex -- cgit v1.2.3