diff options
| -rw-r--r-- | dev-util/coccigrep/files/coccigrep-1.20-sphinx.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-util/coccigrep/files/coccigrep-1.20-sphinx.patch b/dev-util/coccigrep/files/coccigrep-1.20-sphinx.patch new file mode 100644 index 000000000000..6a557acdae3a --- /dev/null +++ b/dev-util/coccigrep/files/coccigrep-1.20-sphinx.patch @@ -0,0 +1,11 @@ +--- a/doc/conf.py 2022-10-30 21:07:35.977857831 +0100 ++++ b/doc/conf.py 2022-10-30 21:07:48.849665452 +0100 +@@ -25,7 +25,7 @@ + + # Add any Sphinx extension module names here, as strings. They can be extensions + # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. +-extensions = ['sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.todo', 'sphinx.ext.coverage', 'sphinx.ext.pngmath', 'sphinx.ext.ifconfig', 'sphinx.ext.viewcode'] ++extensions = ['sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.todo', 'sphinx.ext.coverage', 'sphinx.ext.imgmath', 'sphinx.ext.ifconfig', 'sphinx.ext.viewcode'] + #extensions = ['sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.intersphinx', 'sphinx.ext.todo', 'sphinx.ext.coverage', 'sphinx.ext.pngmath', 'sphinx.ext.ifconfig', 'sphinx.ext.viewcode'] + + # Add any paths that contain templates here, relative to this directory. |