Change sphinx for documentation building on windows to the python3 version
authorTamar Christina <tamar@zhox.com>
Sun, 1 Nov 2015 18:26:16 +0000 (19:26 +0100)
committerTamar Christina <tamar@zhox.com>
Sun, 1 Nov 2015 18:26:16 +0000 (19:26 +0100)
commit65f3c4c0a1304b8d00b46dc0e77ad93fc566ffb1
treeeda6226b6824fa6c5f85469e0bdd307986b5f531
parente9bfb3fd4cb61621c28b51f0bf0e3d2c6f74e45f
Change sphinx for documentation building on windows to the python3 version

Summary:
Python 3 seems to have fixed the long standing codepage issue with
python on Windows. To be able to reliably build the documentation
we should use the Python 3 version of Sphinx.

See `https://docs.python.org/dev/whatsnew/3.3.html#codecs` and
`https://bugs.python.org/issue13216`. Sphinx also supports Python 3.

Oddly enough `python3-sphinx` is registered as `sphinx-build.exe`
instead of `sphinx-build3.exe`, so the changes in `configure.ac` can
be reverted.

install with `pacman -S mingw-w64-$(uname -m)-python3-sphinx`

Test Plan: ./validate

Reviewers: austin, thomie, bgamari

Reviewed By: bgamari

Subscribers: erikd

Differential Revision: https://phabricator.haskell.org/D1417

GHC Trac Issues: #11021
configure.ac