Clean up Sphinx configuration and remove redundant code#9780
Conversation
|
|
||
|
|
||
| def setup(app): | ||
| app.setup_extension("sphinxcontrib.jquery") |
There was a problem hiding this comment.
did you check whether we use jquery somewhere?
|
@dhruvatr we use a specific |
|
Review by Claude Opus 4.8: OverviewThree changes to Verification
Issues
RecommendationThe jquery removal is a legitimate, safe cleanup. Before merging, consider either actually removing line 29 ( |
|
@dhruvatr did you see the feedback? |
|
No |
Description
Checklist
master(or maintenance branch if only applicable there)toxor the relevant test subset)Summary
This PR performs minor cleanup in the Sphinx configuration file:
app.setup_extension("sphinxcontrib.jquery")call.extensions = []assignment.html_sidebarsfor better readability.extlinksdictionary for consistency.Type of Change
Testing