Skip to content

docs: Remove sphinx monkey-patching#630

Closed
ValerianRey wants to merge 2 commits into
mainfrom
remove-sphinx-monkeypatch
Closed

docs: Remove sphinx monkey-patching#630
ValerianRey wants to merge 2 commits into
mainfrom
remove-sphinx-monkeypatch

Conversation

@ValerianRey

@ValerianRey ValerianRey commented Mar 10, 2026

Copy link
Copy Markdown
Member

This PR should be merged whenever the emphasize-lines option is added to the testcode directive of sphinx.ext.doctest directive, if sphinx-doc/sphinx#14335 is accepted.

If that's the case and a new version of sphinx is released, we will also have to update the lower cap of sphinx in the doc dependencies. Lastly, we will be able to add captions and names (for references) to the code examples, so we may open new PRs to improve the appearance of the code examples in TorchJD.

@ValerianRey ValerianRey added the cc: docs Conventional commit type for changes to the documentation. label Mar 10, 2026
@ValerianRey ValerianRey self-assigned this Mar 10, 2026
@ValerianRey ValerianRey added the cc: docs Conventional commit type for changes to the documentation. label Mar 10, 2026
@github-actions github-actions Bot changed the title Remove sphinx monkey-patching docs: Remove sphinx monkey-patching Mar 10, 2026
@ValerianRey

ValerianRey commented Jun 15, 2026

Copy link
Copy Markdown
Member Author

Closing this, as it doesn't seem that my sphinx fix will be merged anytime soon. Sphinx seems to be under minimal maintenance only.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cc: docs Conventional commit type for changes to the documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant