diff options
| author | steveklabnik <steve@steveklabnik.com> | 2018-03-02 13:52:13 -0500 |
|---|---|---|
| committer | steveklabnik <steve@steveklabnik.com> | 2018-03-02 13:52:13 -0500 |
| commit | 900d511fdca20998e42634d5351f7033bbde1aed (patch) | |
| tree | 1fb6d9214abcaafa83a05b330906703e3bf087ca /src/bootstrap | |
| parent | 3eeb5a665e313c5b281820099e04d4c6c8188b46 (diff) | |
| download | rust-900d511fdca20998e42634d5351f7033bbde1aed.tar.gz rust-900d511fdca20998e42634d5351f7033bbde1aed.zip | |
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.
Diffstat (limited to 'src/bootstrap')
| -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) |