[commit: ghc] wip/circleci: CircleCI: Enable documentation building (9fab3d9)

[git at git.haskell.org]

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

On branch  : wip/circleci
Link       : http://ghc.haskell.org/trac/ghc/changeset/9fab3d9f1890b85d2dc30affb7d6e27838a0521d/ghc

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

commit 9fab3d9f1890b85d2dc30affb7d6e27838a0521d
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Wed Oct 25 19:20:49 2017 -0400

    CircleCI: Enable documentation building


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

9fab3d9f1890b85d2dc30affb7d6e27838a0521d
 .circleci/config.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 6ee6c48..24e02e8 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -10,7 +10,7 @@ jobs:
         name: git
         command: |
           apt-get update
-          apt-get install -y git openssh-client make automake autoconf gcc perl python3
+          apt-get install -y git openssh-client make automake autoconf gcc perl python3 python-sphinx
     - checkout
     - run:
         name: submodules
@@ -23,6 +23,4 @@ jobs:
     - run:
         name: build
         command: |
-          echo 'BUILD_SPHINX_HTML  = NO' >> mk/validate.mk
-          echo 'BUILD_SPHINX_PDF   = NO' >> mk/validate.mk
           THREADS=8 SKIP_PERF_TESTS=YES VERBOSE=2 ./validate --fast --quiet