From e79c7a72928e5b705eec8d0021074c17faf0930f Mon Sep 17 00:00:00 2001 From: Sven Brunk Date: Mon, 22 Sep 2025 10:14:33 +0200 Subject: [PATCH] Update install_sphinx.sh with sphinx-design installation --- sphinx/src/install/install_sphinx.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/sphinx/src/install/install_sphinx.sh b/sphinx/src/install/install_sphinx.sh index 506cd59..162cc30 100755 --- a/sphinx/src/install/install_sphinx.sh +++ b/sphinx/src/install/install_sphinx.sh @@ -30,4 +30,5 @@ rm /usr/lib/python3*/EXTERNALLY-MANAGED pip install sphinxcontrib_phpdomain pip install pygments-graphql pip install git+https://github.com/fabpot/sphinx-php.git +pip install sphinx-design java -jar ./usr/share/plantuml/plantuml.jar -testdot