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

fold subchapters

This commit is contained in:
Mark Mansi 2019-11-05 13:35:47 -06:00 committed by Who? Me?!
parent d5f5a55dd5
commit 744796a3ad
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
book.toml
View File

@ -8,7 +8,9 @@ create-missing = false
[output.html]
[output.html.search]
[output.html.fold]
enable = true
level = 1
[output.linkcheck]
follow-web-links = true