From ebf22af10e0f6ee93b500b1bd2f8e6fad6a46166 Mon Sep 17 00:00:00 2001
From: Matthias Geier <Matthias.Geier@gmail.com>
Date: Thu, 7 Nov 2019 18:34:30 +0100
Subject: [PATCH] DOC: Disable unneeded Sphinx option

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

diff --git a/doc/conf.py b/doc/conf.py
index 5259137..5386cee 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -161,7 +161,7 @@
 # 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 = ['_static']
 
 # Add any extra paths that contain custom files (such as robots.txt or
 # .htaccess) here, relative to this directory. These files are copied