-
Notifications
You must be signed in to change notification settings - Fork 1.9k
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.
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
fix: explictly add sphinx_rtd_theme to extensions to fix search #9935
Conversation
Ref https://sphinx-rtd-theme.readthedocs.io/en/stable/changelog.html#known-issues Signed-off-by: Richard Steinmetz <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I tested it locally and the search works again. Note that sphinx v6 has to be manually installed to be able to reproduce the issue.
pip install sphinx==6
And backport to stable24 I guess? |
/backport to stable24 |
/backport to stable25 |
/backport to stable26 |
23 seems also broken: Can we backport all the thigns there too? |
Done (#9942) |
Fix #9905
Ref https://sphinx-rtd-theme.readthedocs.io/en/stable/changelog.html#known-issues