Skip to content

Update requirements in docs#840

Merged
Andrew-Chen-Wang merged 2 commits intojazzband:masterfrom
jnovinger:update-docs-post-req-updates
Jan 7, 2025
Merged

Update requirements in docs#840
Andrew-Chen-Wang merged 2 commits intojazzband:masterfrom
jnovinger:update-docs-post-req-updates

Conversation

@jnovinger
Copy link
Member

This updates a couple of docs/ files to reflect changes made in #839 .

This reflects changes in 7f300a2.
@jnovinger
Copy link
Member Author

Apologies, I missed noting these in the previous PR, so thought I would throw them up real quick.

@jnovinger
Copy link
Member Author

jnovinger commented Jan 3, 2025

Also, I'm not familiar enough with Sphinx anymore to know what needs to be done re:

# -- Intersphinx configuration ------------------------------------------------
intersphinx_mapping = {
"python": ("https://docs.python.org/3.8", None),
}

Ah, it looks to just be configuration for Sphinx's Intersphinx plugin. I didn't see any usage of the python target anywhere following some quick grepping.

@jnovinger jnovinger added the docs label Jan 3, 2025
@jnovinger jnovinger requested a review from a team January 3, 2025 17:35
@Andrew-Chen-Wang
Copy link
Member

Thank you!

@Andrew-Chen-Wang Andrew-Chen-Wang merged commit cb00a8b into jazzband:master Jan 7, 2025
20 checks passed
@jnovinger jnovinger deleted the update-docs-post-req-updates branch January 8, 2025 18:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments