From 8e355e4965dbcd3c7bdc8aeddc74f57ac66383ae Mon Sep 17 00:00:00 2001
From: Ximin Luo <infinity0@debian.org>
Date: Tue, 8 Sep 2020 17:38:19 +0100
Subject: [PATCH] Prefer local CSS to remote

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


Gbp-Pq: Name u-prefer-local-css.patch
---
 src/bootstrap/doc.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs
index 608cee0a80..57f6dd9603 100644
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -392,7 +392,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");
             }
-- 
2.30.2