docs: remove an unused extension of sphinx

[simgrid.git] / tools / cmake / DefinePackages.cmake

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 7014a43..9ee5c69 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -875,7 +875,6 @@ set(DOC_SOURCES
   docs/requirements.txt
   docs/source/conf.py
   docs/source/Doxyfile
-  docs/source/_ext/hidden_code_block.py
   docs/source/_ext/showfile.py
   docs/source/_templates/breadcrumbs.html