diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-06-11 19:48:56 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-06-11 19:48:56 -0400 |
commit | b16c2d5d4a1b5c16e4460435cd899f647d2910f6 (patch) | |
tree | 273ed7d404d86ff61ec8a4c7293299a76f190a24 | |
parent | 785ce6263367184ea5251cd9f5784e23d9b349d3 (diff) | |
download | haskell-wip/fix-users-guide.tar.gz |
gitlab-ci: Don't build PDF user's guide on AArch64wip/fix-users-guide
For reasons I don't understand sphinx seems to fail to produce a .idx
file for makeindex.
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e8a5a2821c..2d61bfc97f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -375,6 +375,8 @@ validate-x86_64-darwin: variables: TEST_ENV: "aarch64-linux-deb9" BIN_DIST_PREP_TAR_COMP: "bindistprep/ghc-aarch64-linux-deb9.tar.xz" + # Inexplicably makeindex fails + BUILD_SPHINX_PDF: "NO" cache: key: linux-aarch64-deb9 tags: |