Rollup merge of #114878 - tshepang:tshepang-patch-1-1, r=davidtwco

rustc book: make more pleasant to search
2023-08-16 20:10:38 +02:00 · 2023-08-16 20:10:38 +02:00 · 82b92ad738
commit 82b92ad738
parent 6533929ae0 50ca860b5f
1 changed files with 3 additions and 0 deletions
--- 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