upgrade version of mdbook to match what I have locally =)

boookmarks · Feb 4, 2018 · 4f0a7a6 · 4f0a7a6
1 parent 68787fb
commit 4f0a7a6
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.0.28"
+    cargo install mdbook --vers "0.1.2"
 fi