From e86d5a2179aa07bf9f338c237486079ea2ffb4ae Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Fri, 19 Apr 2019 17:04:47 -0400
Subject: [PATCH] gitlab-ci: Disable Sphinx PDF output on Debian 8

---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 39fc7484b5d8..298a5e804ba6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -275,6 +275,9 @@ validate-x86_64-linux-deb8:
   image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb8:$DOCKER_REV"
   cache:
     key: linux-x86_64-deb8
+  variables:
+      # Disable sphinx PDF output as our Debian image doesn't have the requisite packages
+    - BUILD_SPHINX_PDF: "NO"
   artifacts:
     when: always
     expire_in: 2 week