From 664caf8a5dd98368bf6399341c799ca656a6417e Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Tue, 23 Jul 2019 09:27:29 -0400
Subject: gitlab-ci: Manually set SPHINXBUILD on Windows

For some reason configure seems unable to find it on its own. Let's try
giving it a hint.

Addresses #16398.
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index eb2ffcf3db..8133e3ee4a 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
-- 
cgit v1.2.1