diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-08-16 20:10:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-16 20:10:38 +0200 |
| commit | 82b92ad7386462a0d1585ecddec1c8994e4d6bb9 (patch) | |
| tree | df27702193286a29ed88ae377df81dc46a3e8a5a | |
| parent | 6533929ae0a443619724f9e70e27d5ba114e332f (diff) | |
| parent | 50ca860b5fbcbc6f2c98fcc6b90e6511341d90be (diff) | |
| download | rust-82b92ad7386462a0d1585ecddec1c8994e4d6bb9.tar.gz rust-82b92ad7386462a0d1585ecddec1c8994e4d6bb9.zip | |
Rollup merge of #114878 - tshepang:tshepang-patch-1-1, r=davidtwco
rustc book: make more pleasant to search
| -rw-r--r-- | src/doc/rustc/book.toml | 3 |
1 files changed, 3 insertions, 0 deletions
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 |