From e4aafcdccdaa0fb72f068744c9e20fe7fd9d3a05 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Sat, 18 Feb 2023 15:20:26 +0200 Subject: [PATCH] enable AND search (#1607) --- book.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/book.toml b/book.toml index 917cddfc..a5d794b5 100644 --- a/book.toml +++ b/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