diff options
author | Jack Lloyd <[email protected]> | 2016-12-05 23:42:34 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-12-05 23:42:34 -0500 |
commit | 438bfa7791ec48e07ed75886c9535c578e1dbded (patch) | |
tree | 5c47bfe879579cfe3ae2850a47b4b3be34bf1c2c /src/scripts/ci | |
parent | f9be55050b8e2b649f974eb5751ddb9cbef35d12 (diff) |
Another try at fixing Sphinx build on CI
Diffstat (limited to 'src/scripts/ci')
-rwxr-xr-x | src/scripts/ci/travis/install.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/scripts/ci/travis/install.sh b/src/scripts/ci/travis/install.sh index c076a25ae..b975cb571 100755 --- a/src/scripts/ci/travis/install.sh +++ b/src/scripts/ci/travis/install.sh @@ -26,9 +26,10 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then # The version of Sphinx in 14.04 is too old (1.2.2) and does not support # all C++ features used in the manual. Install python-requests to avoid - # strange Ubuntu bug http://stackoverflow.com/questions/32779919/no-module-named-for-requests - sudo apt-get install python-requests - sudo pip install sphinx + # problem in Ubuntu packaged version, see + # http://stackoverflow.com/questions/32779919/no-module-named-for-requests + sudo apt-get remove python-requests + sudo pip install requests sphinx fi if [ "$BUILD_MODE" = "coverage" ]; then |