diff options
| author | Tshepang Mbambo <tshepang@gmail.com> | 2023-08-16 06:33:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-16 06:33:31 +0200 |
| commit | 50ca860b5fbcbc6f2c98fcc6b90e6511341d90be (patch) | |
| tree | c8de45baee12654843d19435f389da077cb26710 | |
| parent | 656ee47db32e882fb02913f6204e09cc7a41a50e (diff) | |
| download | rust-50ca860b5fbcbc6f2c98fcc6b90e6511341d90be.tar.gz rust-50ca860b5fbcbc6f2c98fcc6b90e6511341d90be.zip | |
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 |