[commit: ghc] wip/pdf-docs-on-darwin: gitlab-ci: Try reenabling PDF documentation on Darwin (88e7d93)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/pdf-docs-on-darwin
Link       : http://ghc.haskell.org/trac/ghc/changeset/88e7d935ffb22dbe5b962ab4aff399ce9f6e5bb6/ghc

>---------------------------------------------------------------

commit 88e7d935ffb22dbe5b962ab4aff399ce9f6e5bb6
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sun Dec 30 13:49:47 2018 -0500

    gitlab-ci: Try reenabling PDF documentation on Darwin
    
    Carter says that the builder issues have now been sorted.


>---------------------------------------------------------------

88e7d935ffb22dbe5b962ab4aff399ce9f6e5bb6
 .gitlab-ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 87a5333..1ad2771 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -126,8 +126,6 @@ validate-x86_64-darwin:
 
     - bash .gitlab/darwin-init.sh
     - PATH="`pwd`/toolchain/bin:$PATH"
-      # Disable sphinx PDF output as MacTeX apparently doesn't provide xelatex
-    - echo "BUILD_SPHINX_PDF=NO" >> mk/build.mk
     - echo "libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp" >> mk/build.mk
   after_script:
     - cp -Rf $HOME/.cabal cabal-cache