diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-04-20 21:21:04 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-04-22 14:59:10 +0900 |
commit | 621a4e6f6182e9ef335e7e4cbc8302ff9caadfc6 (patch) | |
tree | 840cabb6576a9cba7183a96436d21ae82566ef40 /sphinx/application.py | |
parent | 45887c7d62dde461f2741f1cb9e2cc1ca26a42dd (diff) | |
download | sphinx-git-621a4e6f6182e9ef335e7e4cbc8302ff9caadfc6.tar.gz |
Fix #3628: Rename sphinx_themes entry point to sphinx.html_themes
Diffstat (limited to 'sphinx/application.py')
-rw-r--r-- | sphinx/application.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sphinx/application.py b/sphinx/application.py index 26126fb9c..edac70a99 100644 --- a/sphinx/application.py +++ b/sphinx/application.py @@ -800,6 +800,11 @@ class Sphinx(object): logger.debug('[app] adding environment collector: %r', collector) collector().enable(self) + def add_html_theme(self, name, theme_path): + # type: (unicode, unicode) -> None + logger.debug('[app] adding HTML theme: %r, %r', name, theme_path) + self.html_themes[name] = theme_path + class TemplateBridge(object): """ |