From e745e031a65ced97755e6b7b1b5d8671905dc6a1 Mon Sep 17 00:00:00 2001 From: Ivan Schaller Date: Sun, 15 Jun 2025 23:07:44 +0200 Subject: [PATCH] add doc build deps Signed-off-by: Ivan Schaller --- script/build-docs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/script/build-docs b/script/build-docs index 95e1d4d..b3ed0d1 100755 --- a/script/build-docs +++ b/script/build-docs @@ -4,4 +4,6 @@ set -xeuo pipefail #rm -rf docs/_build +pip install -U Sphinx furo myst-parser sphinx-copybutton + sphinx-build -M html docs docs/_build "${@}"