Skip to content

add sphinx-copybutton extension to documentation#579

Merged
DLWoodruff merged 2 commits intoPyomo:mainfrom
mosc9575:add_sphinx_copybutton
Nov 14, 2025
Merged

add sphinx-copybutton extension to documentation#579
DLWoodruff merged 2 commits intoPyomo:mainfrom
mosc9575:add_sphinx_copybutton

Conversation

@mosc9575
Copy link
Contributor

I added the sphinx_copybutton to improve the docs.

See the changes after a local build:

Bildschirmaufnahme.2025-11-10.100349.mp4

[x] closes #578

@DLWoodruff DLWoodruff assigned DLWoodruff and unassigned DLWoodruff Nov 14, 2025
@DLWoodruff DLWoodruff self-requested a review November 14, 2025 22:08
@DLWoodruff DLWoodruff enabled auto-merge (squash) November 14, 2025 22:50
@DLWoodruff DLWoodruff merged commit f2cd00d into Pyomo:main Nov 14, 2025
19 checks passed
@mosc9575 mosc9575 deleted the add_sphinx_copybutton branch November 17, 2025 08:15
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.

Add sphinx-copybutton extensions to docs

2 participants