summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbors-servo <lbergstrom+bors@mozilla.com>2018-09-07 20:31:09 -0400
committerGitHub <noreply@github.com>2018-09-07 20:31:09 -0400
commitf5368b3b7d888fc756bae8c22574867579ecabd7 (patch)
tree1c996741606738d2c9994f7b2bd11d32cbb35a35
parent36c087bb4a22ae37d96a7a711293f5ee2d98015f (diff)
parent8d19756a1014766c6a262916c7679d60d5482dd5 (diff)
Auto merge of #1385 - emilio:mdbook-up, r=emilio
Update mdbook.
-rwxr-xr-xci/deploy-book.sh2
-rwxr-xr-xci/test-book.sh2
2 files changed, 2 insertions, 2 deletions
diff --git a/ci/deploy-book.sh b/ci/deploy-book.sh
index 8ed3ed46..7067450b 100755
--- a/ci/deploy-book.sh
+++ b/ci/deploy-book.sh
@@ -4,7 +4,7 @@ set -xeu
cd "$(dirname "$0")/../book"
# Ensure mdbook is installed.
-cargo install mdbook --vers "^0.0.22" || true
+cargo install mdbook --vers "^0.2.1" --force || true
export PATH="$PATH:~/.cargo/bin"
# Get the git revision we are on.
diff --git a/ci/test-book.sh b/ci/test-book.sh
index b2007e7c..bc2ea333 100755
--- a/ci/test-book.sh
+++ b/ci/test-book.sh
@@ -3,7 +3,7 @@
set -xeu
cd "$(dirname "$0")/../book"
-cargo install mdbook --vers "^0.0.22" || true
+cargo install mdbook --vers "^0.2.1" --force || true
export PATH="$PATH:~/.cargo/bin"
mdbook build