From 4f0a7a6a49d65b29b9adcb9bb46fa9e443fee1b7 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Sun, 4 Feb 2018 07:26:43 -0500 Subject: [PATCH] upgrade version of mdbook to match what I have locally =) --- tools/ci-install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci-install.sh b/tools/ci-install.sh index d150142..4677db6 100644 --- 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