commit f8571ea1bc71e7965b3371471a8384f36817dffc
author Wenzel Jakob <wenzel.jakob@epfl.ch> Sun Dec 11 18:51:44 2016 +0100
committer Wenzel Jakob <wenzel.jakob@epfl.ch> Sun Dec 11 18:51:46 2016 +0100
tree c2d4b6c621b806d8debb8635693fcbf22636328c
parent 8fadade2251c54a3df8ab9de1f6566ba675bb87c

workaround for sphinx/docutils issue

https://github.com/sphinx-doc/sphinx/issues/3212

.travis.yml

diff --git a/.travis.yml b/.travis.yml
index cd18e1f..39b4362 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -39,7 +39,9 @@
   - os: linux
     language: docs
     env: DOCS STYLE LINT
-    install: pip install --upgrade sphinx sphinx_rtd_theme flake8 pep8-naming docutils
+    install:
+    - pip install --upgrade sphinx sphinx_rtd_theme flake8 pep8-naming
+    - pip install docutils==0.12
     script:
     - make -C docs html SPHINX_OPTIONS=-W
     - tools/check-style.sh