Skip to content

Use the "sphinx-copybutton" extension in documentation#832

Merged
corranwebster merged 1 commit into
mainfrom
docs/sphinx-copybutton
Oct 13, 2022
Merged

Use the "sphinx-copybutton" extension in documentation#832
corranwebster merged 1 commit into
mainfrom
docs/sphinx-copybutton

Conversation

@rahulporuri
Copy link
Copy Markdown
Contributor

This PR does the following:

  • Use the sphinx_copybutton extension when building the Sphinx documentation
  • Make sphinx-copybutton a docs extra for the chaco package
  • Add a pypi_dependencies section to the ci/edmtool.py utility and add sphinx-copybutton as a PyPI dependency for the moment.

Ref https://sphinx-copybutton.readthedocs.io/en/latest/

	modified:   chaco/__init__.py
	modified:   ci/edmtool.py
	modified:   docs/source/conf.py
@corranwebster corranwebster merged commit e0f765c into main Oct 13, 2022
@corranwebster corranwebster deleted the docs/sphinx-copybutton branch October 13, 2022 08:51
@corranwebster corranwebster added the needs backport Needs to be backported to current maint/* label Oct 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs backport Needs to be backported to current maint/*

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants