--- a/doc/conf.py 2019-05-20 21:46:33.132000331 +0200
+++ b/doc/conf.py 2019-05-20 21:47:53.355781211 +0200
@@ -181,9 +181,9 @@
html_use_smartypants = True
# Custom sidebar templates, maps document names to template names.
-html_sidebars = {
- 'index': 'indexsidebar.html',
-}
+#html_sidebars = {
+# 'index': 'indexsidebar.html',
+#}
# Additional templates that should be rendered to pages, maps page names to
# template names.