summaryrefslogtreecommitdiff
path: root/debian/patches/0001-Desactivate-sphinx_tabs-extension.patch
blob: 6c91a23861fa0ded055b08f488210f5ac5d02519 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
From: Serge Cohen <serge1cohen@free.fr>
Date: Mon, 29 Jan 2018 13:47:14 +0100
Subject: Desactivate sphinx_tabs extension.

---
 docs/manual/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/manual/conf.py b/docs/manual/conf.py
index 083d10c..b601a0e 100644
--- a/docs/manual/conf.py
+++ b/docs/manual/conf.py
@@ -33,7 +33,7 @@ release = version
 
 extensions = [
     'sphinx.ext.imgmath',
-    'sphinx_tabs.tabs',
+#    'sphinx_tabs.tabs',
 ]
 
 templates_path = ['_templates']