diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/ci/setup_travis.sh | 2 | ||||
| -rwxr-xr-x | src/scripts/ci_build.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/scripts/ci/setup_travis.sh b/src/scripts/ci/setup_travis.sh index 3ed1caeb1..81b38eef1 100755 --- a/src/scripts/ci/setup_travis.sh +++ b/src/scripts/ci/setup_travis.sh @@ -73,7 +73,7 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then elif [ "$BUILD_MODE" = "docs" ]; then sudo apt-get -qq update - sudo apt-get install doxygen + sudo apt-get install doxygen python-docutils # 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 diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 8c1645d3e..fdd71171f 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -82,7 +82,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro flags += ['--module-policy=%s' % (target), '--disable-static'] if target == 'docs': - flags += ['--with-doxygen', '--with-sphinx'] + flags += ['--with-doxygen', '--with-sphinx', '--with-rst2man'] test_cmd = None if target == 'coverage': |