Update sphinx/builders/html/__init__.py

This commit is contained in:
Thomas Grainger 2021-02-28 14:29:07 +00:00 committed by GitHub
parent ae5986f9cd
commit 878c116112
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1265,7 +1265,7 @@ def migrate_html_add_permalinks(app: Sphinx, config: Config) -> None:
return
config.html_permalinks_icon = html.escape( # type: ignore[attr-defined]
config.html_add_permalinks
html_add_permalinks
)
# for compatibility