Docs (dev): search page is overridden by sphinx's default search page #8844
Labels
Bug
A bug
Comments
stsewd
added a commit
that referenced
this issue
Jan 26, 2022
Fixed some casing issues, and made the build dir play nice with both docsets (so we can now build each docset independently). Closes #8844
stsewd
added a commit
that referenced
this issue
Jan 26, 2022
Fixed some casing issues, and made the build dir play nice with both docsets (so we can now build each docset independently). Closes #8844
stsewd
added a commit
that referenced
this issue
Jan 26, 2022
Fixed some casing issues, and made the build dir play nice with both docsets (so we can now build each docset independently). Closes #8844
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The content from https://dev.readthedocs.io/en/latest/search.html is empty, when it should render the content from https://github.com/readthedocs/readthedocs.org/blob/master/docs/dev/search.rst. I think we can fix this by renaming that page.
The text was updated successfully, but these errors were encountered: