diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-31 15:05:31 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-31 15:05:31 +0000 |
| commit | 6dd9db91dd6ce9bbe3197aa82642866e637ba68d (patch) | |
| tree | 1e3493c4e0d68b5c93274ff037f00ecbd5796cb6 /dev-util/coccigrep/files/coccigrep-1.20-sphinx.patch | |
| parent | 9420f5130776d92998a2ea8466fb15f589a20fda (diff) | |
gentoo auto-resync : 31:10:2022 - 15:05:31
Diffstat (limited to 'dev-util/coccigrep/files/coccigrep-1.20-sphinx.patch')
| -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. |