From d21f35321c5be6b96f8cbf46fa3dbd581aef3ae9 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Fri, 16 Mar 2018 10:39:12 -0700
Subject: [PATCH] Add mdbook search.

---
 book.toml     | 2 ++
 ci/install.sh | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/book.toml b/book.toml
index 3c4c537e8..f3a192c67 100644
--- 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
index 0a36ff1f9..975857a95 100644
--- a/ci/install.sh
+++ b/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