summaryrefslogtreecommitdiff
path: root/debian/patches/0006-remove-sphinx-notfound.patch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/0006-remove-sphinx-notfound.patch')
-rw-r--r--debian/patches/0006-remove-sphinx-notfound.patch12
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/patches/0006-remove-sphinx-notfound.patch b/debian/patches/0006-remove-sphinx-notfound.patch
new file mode 100644
index 00000000..c235dc47
--- /dev/null
+++ b/debian/patches/0006-remove-sphinx-notfound.patch
@@ -0,0 +1,12 @@
+Description: remove sphinx notfound
+--- a/docs/docsite/rst/conf.py
++++ b/docs/docsite/rst/conf.py
+@@ -45,7 +45,7 @@
+ # They can be extensions
+ # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
+ # TEST: 'sphinxcontrib.fulltoc'
+-extensions = ['sphinx.ext.autodoc', 'sphinx.ext.intersphinx', 'pygments_lexer', 'notfound.extension']
++extensions = ['sphinx.ext.autodoc', 'sphinx.ext.intersphinx', 'pygments_lexer']
+
+ # Later on, add 'sphinx.ext.viewcode' to the list if you want to have
+ # colorized code generated too for references.