Mention graphviz dependency for g2html

goblint · Feb 19, 2025 · a935456 · a935456
1 parent 746d436
commit a935456
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make.sh b/make.sh
@@ -101,7 +101,7 @@ rule() {
       fi
       cd webapp && npm install && npm start
     ;; jar)
-      echo "Make sure you have the following installed: javac, ant"
+      echo "Make sure you have the following installed: javac, ant, dot (from graphviz)"
       if test ! -e "g2html/build.xml"; then
         git submodule update --init --recursive g2html
       fi