diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c3cbe806c8a93cced9e0f3c196acf5e5627680f6..d19ece9c84e1d59c89d247a503eb1080eca96c99 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,7 +47,7 @@ build-coq.8.10.2:
   variables:
     OPAM_PINS: "coq version 8.10.2"
     OPAM_PKG: "coq-stdpp"
-    DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
+#    DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
     TIMING_CONF: "coq-8.10.2"
   tags:
   - fp-timing