diff options
author | Ben Gamari <ben@smart-cactus.org> | 2015-10-23 12:27:35 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2015-10-23 17:43:55 +0200 |
commit | 7dae0743c8162021fa4d11c33c89b43e3e568991 (patch) | |
tree | 1c314395a08b90a203a67a15ee4e43486a5ce9b8 /.gitignore | |
parent | fd63ea5686fe5b856c3ebdc5f28bf7a2547bd96f (diff) | |
download | haskell-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