diff options
Diffstat (limited to 'sphinx/writers/html5.py')
-rw-r--r-- | sphinx/writers/html5.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/writers/html5.py b/sphinx/writers/html5.py index 438f161f7..e6bf0c9b2 100644 --- a/sphinx/writers/html5.py +++ b/sphinx/writers/html5.py @@ -61,7 +61,7 @@ class HTML5Translator(SphinxTranslator, BaseTranslator): self.permalink_text = self.config.html_add_permalinks # support backwards-compatible setting to a bool if not isinstance(self.permalink_text, str): - self.permalink_text = self.permalink_text and '¶' or '' + self.permalink_text = '¶' if self.permalink_text else '' self.permalink_text = self.encode(self.permalink_text) self.secnumber_suffix = self.config.html_secnumber_suffix self.param_separator = '' |