From bef6ec201d18043c330121c11d2dceb4e018da86 Mon Sep 17 00:00:00 2001 From: Serge Cohen Date: Mon, 29 Jan 2018 13:49:03 +0100 Subject: unactivate sphnix_tabs extension --- debian/changelog | 2 ++ .../0001-Desactivate-sphinx_tabs-extension.patch | 21 +++++++++++++++++++++ debian/patches/series | 1 + 3 files changed, 24 insertions(+) create mode 100644 debian/patches/0001-Desactivate-sphinx_tabs-extension.patch create mode 100644 debian/patches/series 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 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 +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 -- cgit v1.2.3