CI: enable documentation testing

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5a46c1a0e37461c8c8a74ccad89ceaa981052c27..abc5003678264c47423065a816e3f6c4eacf2acb 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -105,12 +105,13 @@ debian-distcheck:
   script:
     - ./scripts/ci/ci-driver.sh
 
+# TODO: it would be neat to disable the "make all" part of this one.
 debian-docs:
   image: debian:stable
   <<: *debian-template
   variables:
-    DOXYGEN: "no"
-    ASCIIDOC: "no"
+    DOXYGEN: "yes"
+    ASCIIDOC: "yes"
     CHECK: "no"
   script:
     - ./scripts/ci/ci-driver.sh