From f8571ea1bc71e7965b3371471a8384f36817dffc Mon Sep 17 00:00:00 2001
From: Wenzel Jakob <wenzel.jakob@epfl.ch>
Date: Sun, 11 Dec 2016 18:51:44 +0100
Subject: [PATCH] workaround for sphinx/docutils issue

https://github.com/sphinx-doc/sphinx/issues/3212
---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index cd18e1f69..39b436248 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -39,7 +39,9 @@ matrix:
   - 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