New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix docs build warning about overriding file #467

Merged

adamchainz merged 1 commit into main from fix_docs_warning

Jan 28, 2023

Collaborator

adamchainz commented Jan 28, 2023 •

edited

Loading

This role already exists with a different meaning: https://www.sphinx-doc.org/en/master/usage/restructuredtext/roles.html#role-file

Sphinx warns:

WARNING: role 'file' is already registered, it will be overridden

6ed35af made Sphinx fail on warnings


          Fix docs build warning about overriding file

0797e62

adamchainz merged commit d9db9af into main

adamchainz deleted the fix_docs_warning branch

January 28, 2023 10:25

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

Labels

None yet