Temporarily disable mdbook-graphviz

There is a mess with different pulldown-cmark versions required by its dependencies, causing the build to fail (see https://github.com/model-checking/kani/actions/runs/7814746729/job/21316676814?pr=3004 for an example).
model-checking · Feb 7, 2024 · 9f4db53 · 9f4db53
1 parent 3649d21
commit 9f4db53
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/setup/ubuntu/install_doc_deps.sh b/scripts/setup/ubuntu/install_doc_deps.sh
@@ -4,5 +4,5 @@
 
 set -eux
 
-cargo install mdbook-graphviz
+# cargo install mdbook-graphviz
 DEBIAN_FRONTEND=noninteractive sudo apt-get install --no-install-recommends --yes graphviz