diff options
| author | bors <bors@rust-lang.org> | 2021-07-05 07:27:52 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-07-05 07:27:52 +0000 |
| commit | c54895bea6a96defe4c9a7041013efe7505c3ff2 (patch) | |
| tree | 0f7fa020b599fd774d0cee8f8cbabbf57f30d29c /src/bootstrap | |
| parent | 09d9b608d647fdc19a933c661f943a010c8d84a5 (diff) | |
| parent | 5072a47fd1ebc1df48ec1d471361c238dc57dc32 (diff) | |
| download | rust-c54895bea6a96defe4c9a7041013efe7505c3ff2.tar.gz rust-c54895bea6a96defe4c9a7041013efe7505c3ff2.zip | |
Auto merge of #86663 - fee1-dead:use-rustdoc-css, r=GuillaumeGomez
Use rustdoc.css for error index Closes #86512.
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/doc.rs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index 8603361362c..7ec3c2d738a 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -374,9 +374,15 @@ impl Step for Standalone { } if filename == "not_found.md" { - cmd.arg("--markdown-css").arg("https://doc.rust-lang.org/rust.css"); + cmd.arg("--markdown-css") + .arg(format!("https://doc.rust-lang.org/rustdoc{}.css", &builder.version)) + .arg("--markdown-css") + .arg("https://doc.rust-lang.org/rust.css"); } else { - cmd.arg("--markdown-css").arg("rust.css"); + cmd.arg("--markdown-css") + .arg(format!("rustdoc{}.css", &builder.version)) + .arg("--markdown-css") + .arg("rust.css"); } builder.run(&mut cmd); } |