diff options
-rw-r--r-- | .travis.yml | 2 | ||||
-rwxr-xr-x | scripts/install_deps.sh | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index ad1c3f77..44ab15ad 100644 --- a/.travis.yml +++ b/.travis.yml @@ -86,7 +86,7 @@ cache: - jsoncpp install: - - test $JOB != default || ./scripts/install_deps.sh + - test $JOB != default -a $JOB != docs || ./scripts/install_deps.sh before_script: - test $JOB != emscripten || ./scripts/build_emscripten.sh - test $JOB != default || (mkdir -p build diff --git a/scripts/install_deps.sh b/scripts/install_deps.sh index 865242c6..bf9bd9b2 100755 --- a/scripts/install_deps.sh +++ b/scripts/install_deps.sh @@ -202,6 +202,7 @@ case $(uname -s) in # Install "normal packages" sudo apt-get -y update sudo apt-get -y install \ + python-sphinx \ build-essential \ cmake \ g++ \ @@ -306,6 +307,7 @@ case $(uname -s) in sudo apt-get -y update sudo apt-get -y install \ + python-sphinx \ build-essential \ cmake \ git \ |