From 3aee7f244d8c62478c6ab1f3c3ec98c00b8d2faa Mon Sep 17 00:00:00 2001
From: Stefan Bienert <stefan.bienert@unibas.ch>
Date: Wed, 4 Mar 2015 07:27:53 +0100
Subject: [PATCH] Fixing looking for non existant directory for Sphinx

---
 doc/conf/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/conf/conf.py b/doc/conf/conf.py
index e87782b4c..9ddc034d5 100644
--- a/doc/conf/conf.py
+++ b/doc/conf/conf.py
@@ -124,7 +124,7 @@ html_theme = 'sphinxdoc'
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
-html_static_path = ['_static']
+html_static_path = list()
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.
-- 
GitLab