Update Debian install instructions

2025-05-14 22:35:54 +02:00
parent be4151c979
commit 705eee2739
5 changed files with 93 additions and 17 deletions
@@ -40,7 +40,7 @@ os.environ["TZ"] = "Europe/Oslo"
 time.tzset()

 needs_sphinx = "5.0"
-extensions = ["sphinx_design"]
+extensions = ["sphinx_design", "sphinx_copybutton"]
 templates_path = ["_templates"]
 source_suffix = ".rst"
 master_doc = "index"