Skip to content

Update sphinx theme #1937

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
Merged
merged 6 commits into from
Dec 1, 2024
Merged

Update sphinx theme #1937

merged 6 commits into from
Dec 1, 2024

Conversation

danirus
Copy link
Contributor

@danirus danirus commented Nov 29, 2024

This PR is about updating the theme used for the documentation:

  • Update to sphinx-nefertiti 0.6.0
  • Update docs/conf.py with example header links.
  • At the time prompt_toolkit was in version 3.0.43, ReadTheDocs stopped sharing the list of versions available for packages in the HTML context of the Sphinx theme. In this PR the list of versions is given in the conf.py file.
  • Fix some warnings displayed by Sphinx when building the documentation.

@jonathanslenders jonathanslenders merged commit a2a1230 into prompt-toolkit:master Dec 1, 2024
6 checks passed
@jonathanslenders
Copy link
Member

Thank you!

@danirus danirus deleted the update-sphinx-theme branch December 1, 2024 20:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@danirus @jonathanslenders