diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2019-11-05 13:35:47 -0600 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-11-05 15:38:19 -0600 |
| commit | b53100901bcbfce96d49455717f0fed128eb087d (patch) | |
| tree | a433c25b6624dc0bb7517ee6028e357e8364d51d /src/doc | |
| parent | e7aa2b0b2c885cd967354dbd083b85675a51c239 (diff) | |
| download | rust-b53100901bcbfce96d49455717f0fed128eb087d.tar.gz rust-b53100901bcbfce96d49455717f0fed128eb087d.zip | |
fold subchapters
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/rustc-dev-guide/book.toml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml index b5bced996d0..82a6b59b03f 100644 --- a/src/doc/rustc-dev-guide/book.toml +++ b/src/doc/rustc-dev-guide/book.toml @@ -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 |