jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1004732?usp=email )
Change subject: [doc] Add sphinx-copybutton ......................................................................
[doc] Add sphinx-copybutton
https://sphinx-copybutton.readthedocs.io/en/latest/index.html
Change-Id: Ibfd85740c4f2d94b751500cf69e3513c7d063bbc --- M docs/conf.py M docs/requirements.txt 2 files changed, 13 insertions(+), 0 deletions(-)
Approvals: Xqt: Looks good to me, approved jenkins-bot: Verified
diff --git a/docs/conf.py b/docs/conf.py index 395e968..b4dac2b 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -52,6 +52,7 @@ # ones. extensions = [ 'notfound.extension', + 'sphinx_copybutton', 'sphinx.ext.autodoc', 'sphinx.ext.autosectionlabel', 'sphinx.ext.autosummary', diff --git a/docs/requirements.txt b/docs/requirements.txt index d55a081..ba511c6 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -4,6 +4,7 @@ sphinx >= 7.2.6 rstcheck >=6.2.0 sphinxext-opengraph >= 0.9.0 +sphinx-copybutton >= 0.5.2 sphinx-notfound-page >= 1.0.0 furo >= 2023.9.10 tomli