diff options
| author |   Patrick McLean <patrick.mclean@sony.com> | 2020-01-29 16:21:06 -0800 |
|---|---|---|
| committer |   Patrick McLean <chutzpah@gentoo.org> | 2020-01-29 16:21:19 -0800 |
| commit | 287815fe9e64f5a6ec1be6072ddb5d20256eec63 (patch) | |
| tree | cb0255bfec81d3ce5fad7c263630a05325ef1621 /dev-python/pylint/files/pylint-2.4.4-sphinx-theme.patch | |
| parent | dev-python/astroid-2.3.3: Version bump, add py38 (diff) | |
| download | gentoo-287815fe9e64f5a6ec1be6072ddb5d20256eec63.tar.gz gentoo-287815fe9e64f5a6ec1be6072ddb5d20256eec63.tar.bz2 gentoo-287815fe9e64f5a6ec1be6072ddb5d20256eec63.zip | |
dev-python/pylint-2.4.4: Version bump, add py38
Copyright: Sony Interactive Entertainment Inc.
Package-Manager: Portage-2.3.86, Repoman-2.3.20
Signed-off-by: Patrick McLean <chutzpah@gentoo.org>
Diffstat (limited to 'dev-python/pylint/files/pylint-2.4.4-sphinx-theme.patch')
| -rw-r--r-- | dev-python/pylint/files/pylint-2.4.4-sphinx-theme.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-python/pylint/files/pylint-2.4.4-sphinx-theme.patch b/dev-python/pylint/files/pylint-2.4.4-sphinx-theme.patch new file mode 100644 index 000000000000..1a84400a8d78 --- /dev/null +++ b/dev-python/pylint/files/pylint-2.4.4-sphinx-theme.patch @@ -0,0 +1,13 @@ +diff --git a/doc/conf.py b/doc/conf.py +index 906f0315..caca0c0c 100644 +--- a/doc/conf.py ++++ b/doc/conf.py +@@ -100,7 +100,7 @@ pygments_style = "sphinx" + + # The theme to use for HTML and HTML Help pages. See the documentation for + # a list of builtin themes. +-html_theme = "python_docs_theme" ++html_theme = "nature" + + # Theme options are theme-specific and customize the look and feel of a theme + # further. For a list of options available for each theme, see the |