doc: add button to copy code blocks in Dune manual (ocaml#6428)

Uses sphinx-copybutton <https://sphinx-copybutton.readthedocs.io/en/latest/>.

Signed-off-by: Antonin Décimo <[email protected]>

.readthedocs.yaml

@@ -0,0 +1,13 @@
+version: 2
+
+build:
+  os: "ubuntu-22.04"
+  tools:
+    python: "3.10"
+
+sphinx:
+  configuration: doc/conf.py
+
+python:
+  install:
+    - requirements: doc/requirements.txt

Makefile

@@ -134,7 +134,7 @@ distclean: clean
 doc:
 	sphinx-build -W doc doc/_build
 
-# livedoc-deps: you may need to [pip3 install sphinx-autobuild] and [pip3 install sphinx-rtd-theme]
+# livedoc-deps: you may need to [pip3 install sphinx-autobuild] and [pip3 install -r doc/requirements.txt]
 livedoc:
 	cd doc && sphinx-autobuild . _build --port 8888 -q --re-ignore '\.#.*'
 

doc/conf.py

@@ -31,7 +31,9 @@
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
-extensions = []
+extensions = [
+    'sphinx_copybutton'
+]
 
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ['_templates']

doc/requirements.txt

@@ -0,0 +1,3 @@
+sphinx >= 4.5.0
+sphinx_rtd_theme >= 1.0.0
+sphinx-copybutton >= 0.5.0

flake.nix

@@ -68,6 +68,7 @@
               [
                 sphinx
                 sphinx-autobuild
+                python310Packages.sphinx-copybutton
                 python310Packages.sphinx-rtd-theme
               ]
             );