From 31bed8cfccd29a0ac19ce8c36b93a91adbaa324b Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Wed, 29 Jun 2022 09:49:14 +0300
Subject: [PATCH] Docs: remove redundant search page from table of contents

---
 docs/index.rst | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/index.rst b/docs/index.rst
index 5e886c2e8..c731e2746 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -94,4 +94,3 @@ Indices and tables
 
 * :ref:`genindex`
 * :ref:`modindex`
-* :ref:`search`