diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 37df8f097f026fe644ffded9a813e29008af3cb5..766fb46582d65667c8f357a047a5ddaeae6431b4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,6 +33,7 @@ doc_build:
   - pip3 install --user sphinx sphinx-rtd-theme
   - cd doc ; make html
   - mv build/html/ ../public/
+  - ls build/html/
   artifacts:
     paths:
     - public