Adding copy button for sphinx docs

OFFIS-DAI · Nov 29, 2024 · 037f0ec · 037f0ec
1 parent e23d197
commit 037f0ec
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -2,3 +2,4 @@
 pika
 pyzmq
 furo>=2024.8.6
+sphinx-copybutton
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -11,7 +11,7 @@
 author = "mango team"
 
 # The full version, including alpha/beta/rc tags
-version = release = "2.1.1"
+version = release = "2.1.2"
 
 
 # -- General configuration ---------------------------------------------------
@@ -26,6 +26,7 @@
     "sphinx.ext.graphviz",
     "sphinx.ext.imgmath",
     "sphinx.ext.viewcode",
+    "sphinx_copybutton",
 ]
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,3 +2,4 @@ @@
     pika
     pyzmq
     furo>=2024.8.6
+    sphinx-copybutton