diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-12-12 00:33:00 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-01-27 12:46:18 +0100 |
| commit | 270151bffb0be259ff20feee3801bb124c2c39ec (patch) | |
| tree | eee429f5d63bd5218024cb343db153b0fe61da98 /src/bootstrap | |
| parent | 1ac727772bd91b6e35b624e3252e6a6bd681c70b (diff) | |
| download | rust-270151bffb0be259ff20feee3801bb124c2c39ec.tar.gz rust-270151bffb0be259ff20feee3801bb124c2c39ec.zip | |
Add generate-old-style-files option to rustdoc
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/doc.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index eec193c21f5..0028997a7df 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -317,7 +317,8 @@ fn invoke_rustdoc(builder: &Builder, compiler: Compiler, target: Interned<String .arg("-o").arg(&out) .arg(&path) .arg("--markdown-css") - .arg("../rust.css"); + .arg("../rust.css") + .arg("--generate-redirect-pages"); builder.run(&mut cmd); } @@ -491,6 +492,7 @@ impl Step for Std { cargo.arg("--") .arg("--markdown-css").arg("rust.css") .arg("--markdown-no-toc") + .arg("--generate-redirect-pages") .arg("--index-page").arg(&builder.src.join("src/doc/index.md")); builder.run(&mut cargo); |