diff --git a/doc/develop/index.rst b/doc/develop/index.rst
index 0ae440845f..d1488d764b 100644
--- a/doc/develop/index.rst
+++ b/doc/develop/index.rst
@@ -42,7 +42,14 @@ Testing
    :maxdepth: 1
 
    testing
-   coccinelle
    py_testing
    tests_writing
    tests_sandbox
+
+Refactoring
+-----------
+
+.. toctree::
+   :maxdepth: 1
+
+   coccinelle