From 9cea8ecfb1c6d4840b072de05329037be8db6a54 Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Fri, 2 Oct 2020 21:03:36 -0700
Subject: [PATCH] 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.
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.40.0