diff options
| author | Tshepang Mbambo <tshepang@gmail.com> | 2023-02-18 15:20:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-18 22:20:26 +0900 |
| commit | 1da2b1723d7eeab4e57aec6f693f0a398df41995 (patch) | |
| tree | 4d2b43b8fc357efbce837af278d66eb3a6c54e7d /src/doc/rustc-dev-guide | |
| parent | ef8c8fc083c39352d3297efb7728d2599223f2df (diff) | |
| download | rust-1da2b1723d7eeab4e57aec6f693f0a398df41995.tar.gz rust-1da2b1723d7eeab4e57aec6f693f0a398df41995.zip | |
enable AND search (#1607)
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/book.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml index 917cddfc2dc..a5d794b5061 100644 --- 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 |