[commit: ghc] wip/circleci: CircleCI: Don't build PDF documentation (46bd86e)

[git at git.haskell.org]

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

On branch  : wip/circleci
Link       : http://ghc.haskell.org/trac/ghc/changeset/46bd86edda505e249b31f13176bfdfa5a403cd8a/ghc

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

commit 46bd86edda505e249b31f13176bfdfa5a403cd8a
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Thu Oct 26 11:57:39 2017 -0400

    CircleCI: Don't build PDF documentation


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

46bd86edda505e249b31f13176bfdfa5a403cd8a
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 8449a76..d04973e 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -23,6 +23,7 @@ jobs:
     - run:
         name: build
         command: |
+          echo 'BUILD_SPHINX_PDF   = NO' >> mk/validate.mk 
           THREADS=8 SKIP_PERF_TESTS=YES VERBOSE=2 ./validate --quiet --build-only
     - run:
         name: test