diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-11-21 10:54:50 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-02 11:56:54 -0500 |
commit | d402209ace97212b59ad6f9d7cdd1e1bb15fc425 (patch) | |
tree | b4260409d53e4e3b22e4bb50e2de31b898d7333c /.gitlab-ci.yml | |
parent | 8ead967d48b48020f6ce621f9b27363aca45c363 (diff) | |
download | haskell-d402209ace97212b59ad6f9d7cdd1e1bb15fc425.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.
(cherry picked from commit 75764487a96a7a026948b5af5022781872d12baa)
Diffstat (limited to '.gitlab-ci.yml')
-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 484f53b4df..88fa802d44 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: |