CI: disable pages publishing until gitlab allows pages to exceed 100MiB

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3344399d46e9cbf6a2788ea2d9f71ee140e35ecd..42b02a5010bbfe5148d654139ef3ecd4432c22e0 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -24,10 +24,10 @@ build:
     paths:
       - csprogs.dat
 
-pages:
+doxygen:  # rename to 'pages' when gitlab.com allows pages to exceed 100MiB
   stage: deploy
   script:
-    - cd qcsrc && doxygen >/dev/null
+    - cd qcsrc && doxygen
     - mv html ../public
   artifacts:
     paths: