summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2015-10-23 12:27:35 +0200
committerBen Gamari <ben@smart-cactus.org>2015-10-23 17:43:55 +0200
commit7dae0743c8162021fa4d11c33c89b43e3e568991 (patch)
tree1c314395a08b90a203a67a15ee4e43486a5ce9b8 /.gitignore
parentfd63ea5686fe5b856c3ebdc5f28bf7a2547bd96f (diff)
downloadhaskell-7dae0743c8162021fa4d11c33c89b43e3e568991.tar.gz
Verify minimum required version of sphinx-build
CentOS 6.6 includes sphinx-build 0.6.6 which is woefully inadequate to build the users guide. In particular it fails as it lacks `sphinx.ext.extlinks`, which was introduced in 1.0.0. Looking at the changelog it appears that 1.0.0 ought to work.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions