Add mdbook search.

ehuss · ehuss · commit 00ba6a247ce3 · 2018-03-16T10:39:12.000-07:00
diff --git a/book.toml b/book.toml
@@ -6,3 +6,5 @@ description = "A guide to developing rustc "
 [output.html]
 
 [output.linkcheck]
+
+[output.html.search]
diff --git a/ci/install.sh b/ci/install.sh
@@ -19,5 +19,5 @@ function cargo_install() {
   fi
 }
 
-cargo_install mdbook 0.1.1
-cargo_install mdbook-linkcheck 0.1.0
+cargo_install mdbook 0.1.5
+cargo_install mdbook-linkcheck 0.1.2

Original file line number	Diff line number	Diff line change
`@@ -19,5 +19,5 @@ function cargo_install() {`
`19`	`19`	`fi`
`20`	`20`	`}`
`21`	`21`
`22`		`-cargo_install mdbook 0.1.1`
`23`		`-cargo_install mdbook-linkcheck 0.1.0`
	`22`	`+cargo_install mdbook 0.1.5`
	`23`	`+cargo_install mdbook-linkcheck 0.1.2`