diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-10-26 11:57:39 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-10-27 10:49:47 -0400 |
commit | 46bd86edda505e249b31f13176bfdfa5a403cd8a (patch) | |
tree | 2f45bf9da9d0089ffa4d0ccbea420b47bae3f0e4 | |
parent | 1d0820a8a1efbbf8fff417e3cc1b65e9718c0d32 (diff) | |
download | haskell-46bd86edda505e249b31f13176bfdfa5a403cd8a.tar.gz |
CircleCI: Don't build PDF documentation
-rw-r--r-- | .circleci/config.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 8449a7690f..d04973e51b 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 |