Rollup merge of rust-lang#114878 - tshepang:tshepang-patch-1-1, r=dav…

…idtwco rustc book: make more pleasant to search
matthiaskrgr · Aug 16, 2023 · 3635680 · 3635680
2 parents ec6c1a9 + 50ca860
commit 3635680
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/doc/rustc/book.toml b/src/doc/rustc/book.toml
@@ -7,5 +7,8 @@ title = "The rustc book"
 git-repository-url = "https://github.com/rust-lang/rust/tree/master/src/doc/rustc"
 edit-url-template = "https://github.com/rust-lang/rust/edit/master/src/doc/rustc/{path}"
 
+[output.html.search]
+use-boolean-and = true
+
 [output.html.playground]
 runnable = false