From: Debian Rust Maintainers Date: Sat, 28 Aug 2021 09:48:11 +0000 (+0100) Subject: d-use-local-css X-Git-Tag: archive/raspbian/1.49.0+dfsg1-1+rpi1^2~2 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8633f0decf2ef1d6698f090ee0538ae956ab3d3a;p=rustc.git d-use-local-css Gbp-Pq: Name d-use-local-css.patch --- diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index c8756714b3..5cf7a23337 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -360,15 +360,11 @@ 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("rust.css") .arg("-o") .arg(&out) .arg(&path); - - if filename == "not_found.md" { - cmd.arg("--markdown-css").arg("https://doc.rust-lang.org/rust.css"); - } else { - cmd.arg("--markdown-css").arg("rust.css"); - } builder.run(&mut cmd); }