diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-06-17 22:27:15 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-06-17 22:42:45 +0900 |
commit | fe0f83daf8f00a2838711d988cb6bd1a89242a20 (patch) | |
tree | aaecba2fdfc9d697a2ab02c98de458a8ff423b11 /sphinx/builders/html.py | |
parent | dd8ae7e2edbe820ff76f3a836da620f0f0712516 (diff) | |
download | sphinx-git-fe0f83daf8f00a2838711d988cb6bd1a89242a20.tar.gz |
validate html_favicon on config-inited
Diffstat (limited to 'sphinx/builders/html.py')
-rw-r--r-- | sphinx/builders/html.py | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/sphinx/builders/html.py b/sphinx/builders/html.py index 6e63a22d2..c8d330d2d 100644 --- a/sphinx/builders/html.py +++ b/sphinx/builders/html.py @@ -795,10 +795,7 @@ class StandaloneHTMLBuilder(Builder): if self.config.html_favicon: iconbase = path.basename(self.config.html_favicon) icontarget = path.join(self.outdir, '_static', iconbase) - if not path.isfile(path.join(self.confdir, self.config.html_favicon)): - logger.warning(__('favicon file %r does not exist'), - self.config.html_favicon) - elif not path.isfile(icontarget): + if not path.isfile(icontarget): copyfile(path.join(self.confdir, self.config.html_favicon), icontarget) logger.info(__('done')) @@ -1180,6 +1177,13 @@ def validate_html_logo(app: Sphinx, config: Config) -> None: config.html_logo = None # type: ignore +def validate_html_favicon(app: Sphinx, config: Config) -> None: + """Check html_favicon setting.""" + if config.html_favicon and not path.isfile(path.join(app.confdir, config.html_favicon)): + logger.warning(__('favicon file %r does not exist'), config.html_favicon) + config.html_favicon = None # type: ignore + + # for compatibility import sphinx.builders.dirhtml # NOQA import sphinx.builders.singlehtml # NOQA @@ -1238,6 +1242,7 @@ def setup(app: Sphinx) -> Dict[str, Any]: app.connect('config-inited', validate_html_extra_path) app.connect('config-inited', validate_html_static_path) app.connect('config-inited', validate_html_logo) + app.connect('config-inited', validate_html_favicon) app.connect('builder-inited', validate_math_renderer) app.connect('html-page-context', setup_js_tag_helper) |