dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

rustc book: make more pleasant to search

This commit is contained in:
Tshepang Mbambo 2023-08-16 06:33:31 +02:00 committed by GitHub
parent 656ee47db3
commit 50ca860b5f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/doc/rustc/book.toml
View File

@ -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