From: Rust Maintainers <pkg-rust-maintainers@lists.alioth.debian.org>
Date: Sun, 8 Jul 2018 19:39:35 +0000 (+0100)
Subject: u-prefer-local-css
X-Git-Tag: archive/raspbian/1.24.1+dfsg1-1_deb9u2+rpi1~13
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0cffabd0f0bdf6648b00532c64476c39198821cf;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 178d60dd7d..f0b0086c39 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-no-toc")
                    .arg("--markdown-css")
-                   .arg("https://doc.rust-lang.org/rust.css");
+                   .arg("rust.css");
             } else {
                 cmd.arg("--markdown-css").arg("rust.css");
             }