diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-10-31 09:11:30 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-10-31 09:12:09 +0100 |
| commit | 29857d97e9fa353167fad9a25678c486eab9d02a (patch) | |
| tree | b5a50e2d2b4d6de0440938e33970c1b45ca6a3c1 | |
| parent | net-dialup/accel-ppp: revision bump (diff) | |
| download | gentoo-29857d97.tar.gz gentoo-29857d97.tar.bz2 gentoo-29857d97.zip | |
dev-util/coccigrep: patch file missing
Closes: https://bugs.gentoo.org/878857
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
| -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. |