From: Ximin Luo <infinity0@debian.org>
Date: Thu, 30 May 2019 04:52:37 +0000 (+0100)
Subject: Prefer local CSS to remote
X-Git-Tag: archive/raspbian/1.34.2+dfsg1-1+rpi1^2~22
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f04848c873ca45721c7dd33a03ae09b45af3fac3;p=rustc.git

Prefer local CSS to remote

Bug: https://github.com/rust-lang/rust/pull/45331


Gbp-Pq: Name u-prefer-local-css.patch
---

diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs
index f81c64076e..2a3c3cb5fd 100644
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -434,7 +434,7 @@ impl Step for Standalone {
 
             if filename == "not_found.md" {
                 cmd.arg("--markdown-css")
-                   .arg("https://doc.rust-lang.org/rust.css");
+                   .arg("rust.css");
             } else {
                 cmd.arg("--markdown-css").arg("rust.css");
             }