From: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Date: Fri, 10 Apr 2020 10:33:25 +0000 (+0100)
Subject: d-use-local-css
X-Git-Tag: archive/raspbian/1.42.0+dfsg1-1+rpi1~1^2~2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=26d14c205c399bdad77508e5a490e370bad0b72e;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 fed8456d7d..8063d83397 100644
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -323,15 +323,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);
         }
     }