diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4177ba3f3353fa5f5894abd764cc48e6895ff615..d934b3435faf1886c3b57d71eeb85ec2d2f20fd2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,7 +35,7 @@ pages:
     - make odoc
     - mkdir public
     - cd guides/users
-    - make README.html
+    - make 
     - cp README.html ../../public/index.html
     - cp -rf _html  ../../public/
     - cp -rf ../styles/  ../../public/