add graphviz

MatthewSZhang · MatthewSZhang · commit fea85d24c2ba · 2025-07-15T10:00:41.000+08:00
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -5,6 +5,7 @@ build:
     python: "3.13"
   apt_packages:
     - default-jre
+    - graphviz
   jobs:
     pre_install:
       - bash scripts/rtd_pre_install.sh
diff --git a/scripts/rtd_pre_install.sh b/scripts/rtd_pre_install.sh
@@ -5,6 +5,7 @@ set -euox pipefail
 
 # Check for required tools
 java -version
+dot -V
 
 # This folder is on PATH and does not require sudo
 # Download latest plantuml.jar from github
