-
Notifications
You must be signed in to change notification settings - Fork 39
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
remove unneeded sphinxcontrib extension - sphinxcontrib.jquery
#2047
Conversation
Codecov Report
@@ Coverage Diff @@
## main #2047 +/- ##
=======================================
Coverage 92.79% 92.79%
=======================================
Files 236 236
Lines 12484 12484
=======================================
Hits 11585 11585
Misses 899 899 |
@bouweandela you were right! Docs build well at Readthedocs and search works just fine too, without the extension - however, docs build fails with something I got no clue about on Circle (install works fine though) - help! also @zklaus |
@bouweandela you remember that pointer you gave me how to fix the current fail? Beats me if I can find it anywhere, could you repost plsss 🍺 |
You could try adding |
ah that was the one, thanks, man! 🍺 |
@bouweandela that worked smoother than a baby's bottom, cheers 🍺 Can I haz a review pls? |
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.
Looks good! If you could clean up please, then I can approve.
cheers, bud 🍺 |
Description
Following @bouweandela 's suggestion to get rid of that extension, since we have a new sphinx theme now.
Closes #2035
Link to documentation: example of docs built correctly and search working well (for "cmip" keyword) here
Before you get started
Checklist
It is the responsibility of the author to make sure the pull request is ready to review. The icons indicate whether the item will be subject to the 🛠 Technical or 🧪 Scientific review.
To help with the number pull requests: