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 <info(a)gno.de>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged