diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-11-21 10:54:50 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-11-21 10:54:50 -0500 |
commit | 75764487a96a7a026948b5af5022781872d12baa (patch) | |
tree | 09ec82838c5e53255607c7f06a1d029c54ec0edc | |
parent | fa029f53132ad59f847ed012d3b835452cf16615 (diff) | |
download | haskell-75764487a96a7a026948b5af5022781872d12baa.tar.gz |
gitlab-ci: Disable Sphinx build on Debian 8
The docutils version available appears to be too old to support the
`table` directive's `:widths:` options.
-rw-r--r-- | .gitlab-ci.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8ec3c3b70f..b4bea76174 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -638,6 +638,12 @@ release-x86_64-linux-deb8: variables: TEST_ENV: "x86_64-linux-deb8" BIN_DIST_PREP_TAR_COMP: "ghc-x86_64-deb8-linux.tar.xz" + # Debian 8's Sphinx is too old to support the table directive's :widths: + # option: https://sourceforge.net/p/docutils/patches/120/ + BUILD_SPHINX_HTML: "NO" + BUILD_SPHINX_INFO: "NO" + BUILD_SPHINX_PDF: "NO" + BUILD_SPHINX_MAN: "NO" only: - tags cache: |