enable AND search (#1607)

2023-02-18 15:20:26 +02:00 · 2023-02-18 15:20:26 +02:00 · 1da2b1723d
commit 1da2b1723d
parent ef8c8fc083
1 changed files with 3 additions and 0 deletions
--- a/src/doc/rustc-dev-guide/book.toml
+++ b/src/doc/rustc-dev-guide/book.toml
@ -18,6 +18,9 @@ git-repository-url = "https://github.com/rust-lang/rustc-dev-guide"
 edit-url-template = "https://github.com/rust-lang/rustc-dev-guide/edit/master/{path}"
 additional-js = ["mermaid.min.js", "mermaid-init.js"]

+[output.html.search]
+use-boolean-and = true
+
 [output.html.fold]
 enable = true
 level = 0