From: Debian Rust Maintainers Date: Tue, 8 Mar 2022 10:51:18 +0000 (+0000) Subject: d-bootstrap-use-local-css X-Git-Tag: archive/raspbian/1.59.0+dfsg1-1_deb11u3+rpi1~1^2^2^2~12 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=aa81b7968a2336feb253b43ef576301f5f0fcb26;p=rustc-mozilla.git d-bootstrap-use-local-css Gbp-Pq: Name d-bootstrap-use-local-css.patch --- diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index 3c1f79443..d4e8ccaf0 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -375,6 +375,10 @@ impl Step for Standalone { .arg(&builder.src.join("src/doc/index.md")) .arg("--markdown-playground-url") .arg("https://play.rust-lang.org/") + .arg("--markdown-css") + .arg(format!("rustdoc{}.css", &builder.version)) + .arg("--markdown-css") + .arg("rust.css") .arg("-o") .arg(&out) .arg(&path); @@ -383,17 +387,6 @@ impl Step for Standalone { cmd.arg("--disable-minification"); } - if filename == "not_found.md" { - 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(format!("rustdoc{}.css", &builder.version)) - .arg("--markdown-css") - .arg("rust.css"); - } builder.run(&mut cmd); }