diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/travis/build_docs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/travis/build_docs.sh b/tools/travis/build_docs.sh index eb489903..908a47af 100755 --- a/tools/travis/build_docs.sh +++ b/tools/travis/build_docs.sh @@ -3,6 +3,7 @@ set -e pip install --retries 3 -q -r requirements/doc.txt +pip list export SPHINXCACHE=$HOME/.cache/sphinx cd doc make html |