diff options
Diffstat (limited to 'debian/patches/01-sphinx-config.patch')
-rw-r--r-- | debian/patches/01-sphinx-config.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/debian/patches/01-sphinx-config.patch b/debian/patches/01-sphinx-config.patch deleted file mode 100644 index e007a79..0000000 --- a/debian/patches/01-sphinx-config.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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'] - |