From 77debd6847ac2bbda598ad8e5c79c60bb3fa00b1 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 3 Aug 2017 14:00:27 +0200
Subject: [PATCH] Install sphinx_bootstrasp_theme in travis for generating docs

---
 travis/build-helper.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index d3e0729..5a1908a 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -40,7 +40,7 @@ run() {
 
   Documentation)
     # Generate documentation
-    pip install sphinx
+    pip install sphinx sphinx_bootstrap_theme
     cd doc
     make html
     touch build/html/.nojekyll