New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Drop spirious space in script urls #214

Closed

ivoire wants to merge 1 commit into ryan-roemer:master from ivoire:spurious-spaces

Contributor

ivoire commented Aug 26, 2021

Introduced by a154015.


          Drop spirious space in script urls

8dc5c3b

Introduced by a154015.

ivoire mentioned this pull request

BUG: Fix for Sphinx 3.4+ search #213

Merged

ryan-roemer closed this in #213

ryan-roemer pushed a commit that referenced this pull request


          BUG: Fix for Sphinx 3.4+ search (#213)

0d80bff

Our version of readthedocs/sphinx_rtd_theme#1021 to fix issues due to sphinx-doc/sphinx#8623, i.e., `search.html` not actually searching due to `Uncaught ReferenceError: Stemmer is not defined` in Sphinx 3.4+.

Closes #214 
Closes #220

Contributor Author

ivoire commented Jan 25, 2022

This is in fact not fully covered by #213. So I sent another PR at #223

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet