diff options
| author | kennytm <kennytm@gmail.com> | 2018-03-03 18:45:52 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-03-04 02:17:36 +0800 |
| commit | e71c96fab919c8b6752a40fb4017bdd989268515 (patch) | |
| tree | 60e4ae5136680ef65fb2a3e50da6789a1a4c0bd0 | |
| parent | fb411d86c6fa9c7475028e166b79a88a457fe4a8 (diff) | |
| parent | 900d511fdca20998e42634d5351f7033bbde1aed (diff) | |
| download | rust-e71c96fab919c8b6752a40fb4017bdd989268515.tar.gz rust-e71c96fab919c8b6752a40fb4017bdd989268515.zip | |
Rollup merge of #48680 - steveklabnik:no-toc, r=nikomatsakis
Don't produce TOCs for doc markdown files Currently, we are producing headers for markdown files, which is generally not what we want. As such, passing this flag causes them to render normally. https://doc.rust-lang.org/nightly/book/ is an example page currently where this is done incorrectly.
| -rw-r--r-- | src/bootstrap/doc.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index 55d9723527e..a791dd13f0f 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -312,6 +312,7 @@ fn invoke_rustdoc(builder: &Builder, compiler: Compiler, target: Interned<String cmd.arg("--html-after-content").arg(&footer) .arg("--html-before-content").arg(&version_info) .arg("--html-in-header").arg(&favicon) + .arg("--markdown-no-toc") .arg("--markdown-playground-url") .arg("https://play.rust-lang.org/") .arg("-o").arg(&out) |