diff options
| author | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-19 13:11:01 -0500 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-24 09:52:03 -0500 |
| commit | 577be7148cf5c1717e5874260846384e590d62e3 (patch) | |
| tree | 43f666a74e22c88aac38214ace0f90869ebcd747 /src/doc/rustc-dev-guide | |
| parent | 78a513d400e218b367404c4444f2105cac569121 (diff) | |
Update mdbook
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/install.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/ci/install.sh b/src/doc/rustc-dev-guide/ci/install.sh index 835f2319251..d22d2c6c13e 100755 --- a/src/doc/rustc-dev-guide/ci/install.sh +++ b/src/doc/rustc-dev-guide/ci/install.sh @@ -20,5 +20,5 @@ function cargo_install() { fi } -cargo_install mdbook 0.2.3 -cargo_install mdbook-linkcheck 0.2.3 +cargo_install mdbook 0.3.0 +cargo_install mdbook-linkcheck 0.2.4 |