Skip to content

[Docs] Use sphinx-favicon instead of custom in-tree extension#3008

Merged
abravalheri merged 5 commits intopypa:mainfrom
abravalheri:sphinx-favicon
Jan 6, 2022
Merged

[Docs] Use sphinx-favicon instead of custom in-tree extension#3008
abravalheri merged 5 commits intopypa:mainfrom
abravalheri:sphinx-favicon

Conversation

@abravalheri
Copy link
Copy Markdown
Contributor

@abravalheri abravalheri commented Jan 6, 2022

Summary of changes

The changes introduced here were mostly requested/agreed upon on #2869.
At that time, the sphinx-favicon extension was not ready yet. But now it can be used to avoid the burden of maintaining a custom in-tree extension.

When it comes to SVG optimisation, I have used https://pypi.org/project/scour/, which is a (easy to install) pure-Python utility tool directly on the files stored in the repository (except the ones intended to be edited, e.g. docs/images/*editable-inkscape.svg).

The approach of dynamically running the SVG optimiser when the docs are build was discarded for the time being, since RTD has its own tooling that does not call tox -e docs (this means that any SVG optimisation should be implemented as a sphinx extension, and I could not find any currently available). This might change in the future if such extension is created/discovered.

Pull Request Checklist

Unfortunately sphinx do not accept `.rst` files inside folders that are
added to the `html_static_path`.

(Adding `docs/images` to `html_static_path` will be required in a follow
up commit to adopt the `sphinx-favicon` extension)
This change has been previously proposed and agreed upon in pypa#2869.

The idea here is to avoid the burden of maintaining an in-tree sphinx
extension, now that `sphinx-favicon` is available and covers setuptools
use-case.
In this commit the SVG images (logo, banners, etc) were optimised with
the help of https://pypi.org/project/scour/.

This change has been previously requested/discussed and agreed upon on pypa#2869.

The `*editable-inkscape.svg` files are preserved in the original form.
@abravalheri abravalheri changed the title Sphinx favicon [Docs] Use sphinx-favicon instead of custom in-tree extension Jan 6, 2022
@abravalheri abravalheri marked this pull request as ready for review January 6, 2022 17:56
@abravalheri abravalheri merged commit 9cc3e74 into pypa:main Jan 6, 2022
@abravalheri abravalheri deleted the sphinx-favicon branch January 6, 2022 21:31
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.

1 participant