debian/patches/01-sphinx-config.patch


1
2
3
4
5
6
7
8
9
10
11

--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -30,7 +30,7 @@
 
 
 # -- Options for HTML output ---------------------------------------------------
-html_theme = 'air'
+#html_theme = 'air'
 #html_theme_options = {}
 html_theme_path = ['../../../sphinx-themes']