From: Ximin Luo <infinity0@debian.org>
Date: Sat, 18 May 2019 19:18:25 +0000 (+0100)
Subject: Prefer local CSS to remote
X-Git-Tag: archive/raspbian/1.33.0+dfsg1-2+rpi1^2~20
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8f62318e62c22d12dbadd9380d1f4fb131a26c0d;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 eec193c21f..3cfb97f620 100644
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -407,7 +407,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");
             }