diff options
| author | Emilio Cobos Álvarez <emilio@crisal.io> | 2018-09-08 02:28:20 +0200 |
|---|---|---|
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2018-09-08 02:29:38 +0200 |
| commit | 8d19756a1014766c6a262916c7679d60d5482dd5 (patch) | |
| tree | 1c996741606738d2c9994f7b2bd11d32cbb35a35 | |
| parent | 36c087bb4a22ae37d96a7a711293f5ee2d98015f (diff) | |
Update mdbook.
| -rwxr-xr-x | ci/deploy-book.sh | 2 | ||||
| -rwxr-xr-x | ci/test-book.sh | 2 |
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 |