summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--docs/index.rst6
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/index.rst b/docs/index.rst
index c5ca8364a..db1c812be 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -44,9 +44,3 @@ Developer
how-to-use-docs/index
featureprojects
-
-Infrastructure
---------------
-
-.. toctree::
- :maxdepth: 1