Update make setup for new HTML output

sim642 · sim642 · commit 8461c8681b44 · 2025-10-03T10:55:41.000+03:00
diff --git a/make.sh b/make.sh
@@ -74,7 +74,7 @@ rule() {
       }
     ;; setup)
       echo "Make sure you have the following installed: opam >= 2.0.0, git, patch, m4, autoconf, libgmp-dev, libmpfr-dev, pkg-config"
-      echo "For the --html output you also need: javac, ant, dot (graphviz)"
+      echo "For the --html output you also need: graphviz and python3-pygments (optional)"
       echo "For running the regression tests you also need: ruby, gem, curl, and the `os` gem"
       echo "For reference see ./Dockerfile or ./scripts/travis-ci.sh"
       opam_setup

Original file line number	Diff line number	Diff line change
`@@ -74,7 +74,7 @@ rule() {`
`74`	`74`	`}`
`75`	`75`	`;; setup)`
`76`	`76`	`echo "Make sure you have the following installed: opam >= 2.0.0, git, patch, m4, autoconf, libgmp-dev, libmpfr-dev, pkg-config"`
`77`		`- echo "For the --html output you also need: javac, ant, dot (graphviz)"`
	`77`	`+ echo "For the --html output you also need: graphviz and python3-pygments (optional)"`
`78`	`78`	echo "For running the regression tests you also need: ruby, gem, curl, and the `os` gem"
`79`	`79`	`echo "For reference see ./Dockerfile or ./scripts/travis-ci.sh"`
`80`	`80`	`opam_setup`