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.

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

Maintenance: restore Sphinx documentation seach functionality #1396

Merged
merged 8 commits into from
Feb 2, 2024
Merged

Maintenance: restore Sphinx documentation seach functionality #1396

merged 8 commits into from
Feb 2, 2024

Conversation

jayaddison
Copy link
Contributor

These changes should restore Sphinx search functionality to the Essentia documentation website.

Roughly speaking: the custom search.html template in essentia.git has drifted from the JavaScript files and interfaces provided during a Sphinx HTML documentation build.

Additionally, the sphinxprettysearchresults extension is removed; it was a workaround for a bug that caused unclearly-formatted search results that was fixed in v2.0.0 of Sphinx.

No server-side changes are required with this change.

Resolves #1198.

This search-related JS file was added in Sphinx v3.4.0
This style of index loading was added in Sphinx v2.0.0
This follows adjustments made for release v3.4.0 of Sphinx
This search-related JS file was added in Sphinx v5.2.0
This is required for compatibility with Sphinx v7.2.0
After a search, the Sphinx client-side JS can retrieve a snippet of text to
display for each result, by making a network request for each item.
@jayaddison
Copy link
Contributor Author

Note: due to a5dad4c, these changes require a rebuild of the documentation with Sphinx >= 7.2.0 - if an earlier version is preferable, let me know and I can unpick that (and any other relevant commits).

@dbogdanov
Copy link
Member

Hi @jayaddison, this looks great, thank you for the PR!

@dbogdanov dbogdanov merged commit 99927b7 into MTG:master Feb 2, 2024
1 of 5 checks passed
@jayaddison
Copy link
Contributor Author

@dbogdanov you're welcome - could you let me know once the documentation is rebuilt, to confirm the fix? (I did test it locally from file, but would like to make sure)

@jayaddison jayaddison deleted the issue-1198/sphinx-search-maintenance branch February 2, 2024 12:55
@jayaddison
Copy link
Contributor Author

@dbogdanov you're welcome - could you let me know once the documentation is rebuilt, to confirm the fix? (I did test it locally from file, but would like to make sure)

No need: it looks like that's rebuilt and working again already 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Search on the documentation page not working
2 participants