Skip to content

Fix URL in html_logo and html_favicon#253

Merged
pradyunsg merged 1 commit intopradyunsg:mainfrom
idryzhov:favicon-logo-url
Sep 22, 2021
Merged

Fix URL in html_logo and html_favicon#253
pradyunsg merged 1 commit intopradyunsg:mainfrom
idryzhov:favicon-logo-url

Conversation

@idryzhov
Copy link
Copy Markdown
Contributor

Since Sphinx 4, it's possible to use URL in html_logo and html_favicon
options. It is not currently processed correctly and we end up with
something like "_static/https://example.com/logo.png" as image path.

Signed-off-by: Igor Ryzhov iryzhov@nfware.com

@pradyunsg
Copy link
Copy Markdown
Owner

Wheeee. I missed this. Thanks for the PR!

This theme is Sphinx 4 only — which should simplify the patch. :)

@idryzhov
Copy link
Copy Markdown
Contributor Author

Great. Should I simply always use favicon_url and logo_url then?

Since Sphinx 4, it's possible to use URL in html_logo and html_favicon
options. It is not currently processed correctly and we end up with
something like "_static/https://example.com/logo.png" as image path.

Signed-off-by: Igor Ryzhov <iryzhov@nfware.com>
@pradyunsg
Copy link
Copy Markdown
Owner

Yup yup! The Sphinx version check will always come out false.

@idryzhov
Copy link
Copy Markdown
Contributor Author

Done! Thanks for the review :)

@pradyunsg pradyunsg merged commit a48c7de into pradyunsg:main Sep 22, 2021
@pradyunsg
Copy link
Copy Markdown
Owner

And thanks for the PR! I’ll cut a release with this sometime next week / coming weekend, based on what my calendar looks like.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants