summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSerge Cohen <serge1cohen@free.fr>2018-01-29 13:49:03 +0100
committerSerge Cohen <serge1cohen@free.fr>2018-01-29 13:49:03 +0100
commitbef6ec201d18043c330121c11d2dceb4e018da86 (patch)
tree41ec4715ae251ab2120deaca12f1f34a5cede1d4
parenta33bd09984a3c893028b9b44486d4c5b12e887e8 (diff)
unactivate sphnix_tabs extension
-rw-r--r--debian/changelog2
-rw-r--r--debian/patches/0001-Desactivate-sphinx_tabs-extension.patch21
-rw-r--r--debian/patches/series1
3 files changed, 24 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index 8017efd..9bbe8ea 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,8 @@ ufo-core (0.15.1-1) UNRELEASED; urgency=medium
* New upstream release.
* d/control
- Build-Depends : added python3-sphinx-rtd-theme
+ * d/patches
+ - 0001-Desactivate-sphinx_tabs-extension.patch (added)
-- Serge Cohen <serge@ipanema.cnrs.fr> Mon, 29 Jan 2018 12:00:13 +0100
diff --git a/debian/patches/0001-Desactivate-sphinx_tabs-extension.patch b/debian/patches/0001-Desactivate-sphinx_tabs-extension.patch
new file mode 100644
index 0000000..6c91a23
--- /dev/null
+++ b/debian/patches/0001-Desactivate-sphinx_tabs-extension.patch
@@ -0,0 +1,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']
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..4c60f32
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Desactivate-sphinx_tabs-extension.patch