diff options
| author | Eric Huss <eric@huss.org> | 2018-03-16 10:39:12 -0700 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-03-22 13:55:55 -0500 |
| commit | e4227c5cfd1da1365d19cb3889d1062ff944f5d0 (patch) | |
| tree | 470b7b471451a572c9948e6bd1ed482facb8ca07 /src/doc/rustc-dev-guide/ci | |
| parent | 25aab56909bd7c7f96006204e9bb9bd05593ab97 (diff) | |
| download | rust-e4227c5cfd1da1365d19cb3889d1062ff944f5d0.tar.gz rust-e4227c5cfd1da1365d19cb3889d1062ff944f5d0.zip | |
Add mdbook search.
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rw-r--r-- | src/doc/rustc-dev-guide/ci/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/ci/install.sh b/src/doc/rustc-dev-guide/ci/install.sh index 0a36ff1f9e6..975857a95a0 100644 --- a/src/doc/rustc-dev-guide/ci/install.sh +++ b/src/doc/rustc-dev-guide/ci/install.sh @@ -20,4 +20,4 @@ function cargo_install() { } cargo_install mdbook 0.1.5 -cargo_install mdbook-linkcheck 0.1.0 +cargo_install mdbook-linkcheck 0.1.2 |