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 -- To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1004732?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.wikimedia.org/r/settings Gerrit-Project: pywikibot/core Gerrit-Branch: master Gerrit-Change-Id: Ibfd85740c4f2d94b751500cf69e3513c7d063bbc Gerrit-Change-Number: 1004732 Gerrit-PatchSet: 1 Gerrit-Owner: Xqt <[email protected]> Gerrit-Reviewer: Xqt <[email protected]> Gerrit-Reviewer: jenkins-bot Gerrit-MessageType: merged
_______________________________________________ Pywikibot-commits mailing list -- [email protected] To unsubscribe send an email to [email protected]
