diff --git a/developer_manual/core/index.rst b/developer_manual/core/index.rst
index c1d190736..3c6b75b99 100644
--- a/developer_manual/core/index.rst
+++ b/developer_manual/core/index.rst
@@ -1,32 +1,16 @@
 .. _coreindex:
 
+=================
+Core development
+=================
+
+Please make sure you have set up a :ref:`devenv`.
 
 .. toctree::
    :maxdepth: 2
-   :hidden:
 
    translation
    unit-testing
    theming
    externalapi
    ocs-share-api
-
-=================
-Core development
-=================
-
-Intro
------
-
-Please make sure you have set up a development environment:
-
-* :doc:`../general/devenv`
-
-Core related docs
------------------
-
-* :doc:`translation`
-* :doc:`unit-testing`
-* :doc:`theming`
-* :doc:`ocs-share-api`
-* :doc:`externalapi`