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