diff --git a/ci/install.sh b/ci/install.sh index daa1f79e6a..c4d6af935a 100755 --- a/ci/install.sh +++ b/ci/install.sh @@ -13,7 +13,7 @@ if [ -n "$BUILD_DOCS" ]; then fi info "Installing Sphinx..." - pip -q install --user sphinx &> $WORKDIR/target/pip.log + pip -q install --user -r ./ci/requirements.txt &> $WORKDIR/target/pip.log EXIT_CODE=$? if [ "$EXIT_CODE" -ne 0 ]; then error "Error installing Sphinx" diff --git a/ci/requirements.txt b/ci/requirements.txt new file mode 100644 index 0000000000..db153967b2 --- /dev/null +++ b/ci/requirements.txt @@ -0,0 +1,22 @@ +alabaster==0.7.7 +argh==0.26.1 +Babel==2.2.0 +backports-abc==0.4 +backports.ssl-match-hostname==3.5.0.1 +certifi==2016.2.28 +docutils==0.12 +Jinja2==2.8 +livereload==2.4.1 +MarkupSafe==0.23 +pathtools==0.1.2 +port-for==0.3.1 +Pygments==2.1.3 +pytz==2016.1 +PyYAML==3.11 +singledispatch==3.4.0.3 +six==1.10.0 +snowballstemmer==1.2.1 +Sphinx==1.3.6 +sphinx-autobuild==0.6.0 +tornado==4.3 +watchdog==0.8.3