From 50ca860b5fbcbc6f2c98fcc6b90e6511341d90be Mon Sep 17 00:00:00 2001
From: Tshepang Mbambo <tshepang@gmail.com>
Date: Wed, 16 Aug 2023 06:33:31 +0200
Subject: [PATCH] rustc book: make more pleasant to search

---
 src/doc/rustc/book.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/doc/rustc/book.toml b/src/doc/rustc/book.toml
index 14ae1a7207a..167aece0ed6 100644
--- 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