mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #127 from mark-i-m/update_mdbook17 

update to mdbook 0.1.7
This commit is contained in:
Michael Bryan 2018-05-10 20:43:02 +08:00 committed by GitHub
parent eb7955313d acd4c9ba37
commit 377bf545db
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/install.sh
View File

@ -20,5 +20,5 @@ function cargo_install() {
fi fi
} }
cargo_install mdbook 0.1.5 cargo_install mdbook 0.1.7
cargo_install mdbook-linkcheck 0.1.2 cargo_install mdbook-linkcheck 0.1.2