Fix doxygen-generated pages

ci/deploy.gitlab-ci.yml

@@ -15,21 +15,25 @@ deploy:tag:nightly:
     - if: $CI_PIPELINE_SOURCE == "schedule" && $CI_PROJECT_NAMESPACE == "libeigen"
     - if: $CI_PIPELINE_SOURCE == "web" && $CI_PROJECT_NAMESPACE == "libeigen"
 
- # Upload docs if pipeline succeeded.
+# Upload docs if pipeline succeeded.
 deploy:doc:nightly:
   stage: deploy
   image: busybox
   dependencies: [ build:linux:doc ]
+  variables:
+    PAGES_PREFIX: docs-nightly
   script:
+    - echo "Deploying site to $CI_PAGES_URL"
     - mv ${EIGEN_CI_BUILDDIR}/doc/html public
-  pages: true
+  pages:
+    path_prefix: $PAGES_PREFIX
   artifacts:
     name: "$CI_JOB_NAME_SLUG-$CI_COMMIT_REF_SLUG"
     paths:
-      - public/
+      - public
   tags:
-    - linux
     - eigen-runner
+    - linux
   rules:
     - if: $CI_PIPELINE_SOURCE == "schedule" && $CI_PROJECT_NAMESPACE == "libeigen"
     - if: $CI_PIPELINE_SOURCE == "web" && $CI_PROJECT_NAMESPACE == "libeigen"