Merge remote-tracking branch 'origin/main' into fix-3129

tautschnig · Apr 10, 2024 · 7426247 · 7426247
2 parents 6422c9c + 43475da
commit 7426247
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