From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Sat, 3 Oct 2020 04:03:36 +0000 (-0700)
Subject: force man page PDF generation in CI portable source build
X-Git-Tag: 2.46.0~20^2^2~46^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=9cea8ecfb1c6d4840b072de05329037be8db6a54;p=graphviz

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 f30f6b8d2..e129bd5c7 100644
--- 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