Update mdbook version

Priyam-fashtag · Apr 16, 2021 · 73e731c · 73e731c
1 parent fc9986c
commit 73e731c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/ci-install.sh b/tools/ci-install.sh
@@ -6,6 +6,6 @@ if command -v mdbook >/dev/null 2>&1; then
     echo "mdbook already installed at $(command -v mdbook)"
 else
     echo "installing mdbook"
-    cargo install mdbook --vers "0.1.2"
+    cargo install mdbook --vers "0.4.7"
 fi