diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-07-23 09:27:29 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-04 18:16:51 -0400 |
commit | 7e404afd7c923bf275093c7fa1b278d484cfdd82 (patch) | |
tree | 1b33a64c1a4b622669ac18ab617e89d85aaaba92 /.gitignore | |
parent | a5227080b57cb51ac34d4c9de1accdf6360b818b (diff) | |
download | haskell-7e404afd7c923bf275093c7fa1b278d484cfdd82.tar.gz |
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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions