gitlab-ci: Manually set SPHINXBUILD on Windows

Authored by bgamari on Jul 23 2019, 8:27 AM.

Description

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 Trac #16398.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Aug 4 2019, 5:16 PM
Parents
rGHCa5227080b57c: Hadrian: make settings, platformConstants, etc dependencies of lib:ghc
Branches
Unknown
Tags
Unknown