--- 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.