diff options
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9cf17ea9ca..f212dfc625 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -691,6 +691,7 @@ validate-x86_64-linux-fedora27: variables: FORCE_SYMLINKS: 1 LANG: "en_US.UTF-8" + SPHINXBUILD: "/mingw64/bin/sphinx-build.exe" cache: paths: - cabal-cache |