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.

(cherry picked from commit 7e404afd7c923bf275093c7fa1b278d484cfdd82)

Details

Committed
bgamariSat, Aug 10, 5:58 AM
Parents
rGHC2fcb38b0b1e5: Don't float unlifted join points to top level
Branches
Unknown
Tags
Unknown
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.