diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 6d51c233f517d0f1a28d6293d9f18f0d36c90933..b2b49d73c9e5970d18ba0733e080f89a1fec94cb 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -1020,4 +1020,9 @@ def check(root):
         from ..bootstrap import run_cmdline
 
         run_cmdline(["pip", "install", "pre-commit"])
-        run_cmdline(["pre-commit", "run", "--all-files"])
+        try:
+            backup = os.environ.get("SKIP", "")
+            os.environ["SKIP"] = "sphinx-build,sphinx-doctest"
+            run_cmdline(["pre-commit", "run", "--all-files"])
+        finally:
+            os.environ["SKIP"] = backup