Skip to content
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

Search does not work for docs generated using sphinx 1.5.1 #3258

Closed
dkliban opened this issue Dec 17, 2016 · 1 comment
Closed

Search does not work for docs generated using sphinx 1.5.1 #3258

dkliban opened this issue Dec 17, 2016 · 1 comment
Labels
closed:duplicate html search

Comments

@dkliban
Copy link

dkliban commented Dec 17, 2016 •
edited
Loading

I have a Jenkins job that builds docs nightly for http://pulpproject.org/docs. I noticed that the search stopped working recently. I was able to determine that the broken search appeared after Jenkins started using sphinx 1.5.1 to generate the docs. Using sphinx 1.4.8 resolves the problem.
@tk0miya
Copy link
Member

tk0miya commented Dec 17, 2016

Same as #3203 .
Sorry, it is a bug of sphinx_rtd_theme.

@tk0miya tk0miya closed this as completed Dec 17, 2016
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 31, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
closed:duplicate html search
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dkliban @tk0miya