diff options
author | Serge Cohen <serge1cohen@free.fr> | 2018-01-29 13:47:14 +0100 |
---|---|---|
committer | Picca Frédéric-Emmanuel <picca@debian.org> | 2019-12-08 20:40:25 +0100 |
commit | 2e13f0bf82872225c60735183cb9b9eaaaf9d19b (patch) | |
tree | 8982c2f17a39f6f0c586b2803e3fdec057ac3c02 | |
parent | 1242c4aecf5ebc301c1d1b9c0fbe7c17542b1a9a (diff) |
Deactivate sphinx_tabs extension.
Gbp-Pq: Name 0001-Deactivate-sphinx_tabs-extension.patch
-rw-r--r-- | docs/manual/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
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'] |