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

Add mdbook search.

This commit is contained in:
Eric Huss 2018-03-16 10:39:12 -07:00 committed by Who? Me?!
parent 3077566265
commit 6723308d21
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
book.toml
View File

@ -6,3 +6,5 @@ description = "A guide to developing rustc "
[output.html] [output.html]
[output.linkcheck] [output.linkcheck]
[output.html.search]

2
ci/install.sh
View File

@ -20,4 +20,4 @@ function cargo_install() {
} }
cargo_install mdbook 0.1.5 cargo_install mdbook 0.1.5
cargo_install mdbook-linkcheck 0.1.0 cargo_install mdbook-linkcheck 0.1.2