diff options
| -rw-r--r-- | debian/changelog | 2 | ||||
| -rw-r--r-- | debian/patches/0001-Desactivate-sphinx_tabs-extension.patch | 21 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
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 |