force man page PDF generation in CI portable source build

This forces the CI portable source build to fail if it cannot find a way to
generate PDF versions of man pages.

Related to #1763.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f30f6b8d2538d049bc58e78acf3c52a7149fb8b9..e129bd5c71824bbaa7e46b514e7405e3d15b552d 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ portable-source:
     image: "graphviz/graphviz:ubuntu-18.04"
     script:
         - ./autogen.sh
-        - ./configure
+        - ./configure --enable-man-pdfs
         - make dist
     artifacts:
         when: on_success