Make the cdt-ui gerrit pipeline check documentation builds

eclipse-cdt · Dec 14, 2021 · fd4046f · fd4046f
1 parent 9a717f9
commit fd4046f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jenkins/pipelines/cdt/verify/cdt-verify-test-cdt-ui-only-pipeline.Jenkinsfile b/jenkins/pipelines/cdt/verify/cdt-verify-test-cdt-ui-only-pipeline.Jenkinsfile
@@ -33,7 +33,7 @@ pipeline {
                       -DexcludedGroups=flakyTest,slowTest \
                       -P build-standalone-debugger-rcp \
                       -P skip-tests-except-cdt-ui \
-                      -DskipDoc=true \
+                      -DskipDoc=false \
                       -Ddsf.gdb.tests.timeout.multiplier=50 \
                       -Dindexer.timeout=300 \
                       -Dmaven.repo.local=/home/jenkins/.m2/repository \