diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-09-19 12:14:51 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-26 19:53:36 -0400 |
| commit | 6057559683757aa6cc2b69dc81bb0027f5e61fc0 (patch) | |
| tree | 51ed6f56078f19981704e0ffa474841034150bf8 | |
| parent | 8ac49411df6140eb7e64c84c8d4f32eb76bfc4ce (diff) | |
| download | haskell-6057559683757aa6cc2b69dc81bb0027f5e61fc0.tar.gz | |
Enable PDF documentation
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8212e1cbc4..2f5e0c85cf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -422,8 +422,6 @@ 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: @@ -458,8 +456,6 @@ nightly-aarch64-linux-deb9: TEST_ENV: "armv7-linux-deb9" BIN_DIST_PREP_TAR_COMP: "bindistprep/ghc-armv7-linux-deb9.tar.xz" CONFIGURE_ARGS: "--host=arm-linux-gnueabihf --build=arm-linux-gnueabihf --target=arm-linux-gnueabihf" - # Inexplicably makeindex fails - BUILD_SPHINX_PDF: "NO" cache: key: linux-armv7-deb9 tags: |