From 132afc111716c12e72f7ccdf5555f506c41e2228 Mon Sep 17 00:00:00 2001 From: Ronny Berndt Date: Fri, 5 Jan 2024 20:31:46 +0100 Subject: [PATCH] Add extension for copying code blocks with just one click Add the sphinx-copybutton extension to get this functionality for code blocks. --- src/docs/requirements.txt | 1 + src/docs/src/conf.py | 1 + 2 files changed, 2 insertions(+) diff --git a/src/docs/requirements.txt b/src/docs/requirements.txt index 5e9942b9bb6..de04c55ce23 100644 --- a/src/docs/requirements.txt +++ b/src/docs/requirements.txt @@ -2,3 +2,4 @@ Sphinx==7.2.6 sphinx-rtd-theme==2.0.0 sphinxcontrib-httpdomain==1.8.1 sphinxcontrib-jquery==4.1 +sphinx-copybutton==0.5.2 diff --git a/src/docs/src/conf.py b/src/docs/src/conf.py index eadfa24200a..f672a3a3162 100644 --- a/src/docs/src/conf.py +++ b/src/docs/src/conf.py @@ -24,6 +24,7 @@ "sphinx.ext.extlinks", "sphinxcontrib.httpdomain", "sphinxcontrib.jquery", + "sphinx_copybutton", "configdomain", ]