From: Debian Rust Maintainers Date: Fri, 2 Nov 2018 08:42:36 +0000 (+0000) Subject: u-prefer-local-css X-Git-Tag: archive/raspbian/1.30.0+dfsg1-2+rpi1~1^2~20 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=51d37429e75749d8a1340d8e403d79c3f5c98fa7;p=rustc.git u-prefer-local-css Gbp-Pq: Name u-prefer-local-css.patch --- diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index 17ccb04a71..a940bda8dd 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -413,7 +413,7 @@ impl Step for Standalone { if filename == "not_found.md" { cmd.arg("--markdown-no-toc") .arg("--markdown-css") - .arg("https://doc.rust-lang.org/rust.css"); + .arg("rust.css"); } else { cmd.arg("--markdown-css").arg("rust.css"); }