diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-12-31 18:45:00 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-12-31 18:45:00 +0900 |
commit | 60557715d20e9839195d36b43a1fe70484f1bca9 (patch) | |
tree | d391bf34354b1406cea76425d4c5474f693cab0b | |
parent | 332d80ba8433aea41c3709fa52737ede4405072b (diff) | |
download | sphinx-git-60557715d20e9839195d36b43a1fe70484f1bca9.tar.gz |
Fix #8629: html: A type warning for html_use_opensearch is shown twice
-rw-r--r-- | CHANGES | 1 | ||||
-rw-r--r-- | sphinx/builders/html/__init__.py | 3 |
2 files changed, 1 insertions, 3 deletions
@@ -32,6 +32,7 @@ Bugs fixed :recursive: option * #8618: html: kbd role produces incorrect HTML when compound-key separators (-, + or ^) are used as keystrokes +* #8629: html: A type warning for html_use_opensearch is shown twice * #8094: texinfo: image files on the different directory with document are not copied diff --git a/sphinx/builders/html/__init__.py b/sphinx/builders/html/__init__.py index 641d0eda2..ba78f2d7e 100644 --- a/sphinx/builders/html/__init__.py +++ b/sphinx/builders/html/__init__.py @@ -448,9 +448,6 @@ class StandaloneHTMLBuilder(Builder): logo = path.basename(self.config.html_logo) if self.config.html_logo else '' favicon = path.basename(self.config.html_favicon) if self.config.html_favicon else '' - if not isinstance(self.config.html_use_opensearch, str): - logger.warning(__('html_use_opensearch config value must now be a string')) - self.relations = self.env.collect_relations() rellinks = [] # type: List[Tuple[str, str, str, str]] |