From 2b8dc27009de76e9f68c853fb01dd8e90fa5d50f Mon Sep 17 00:00:00 2001 From: Debian Rust Maintainers Date: Sun, 23 Sep 2018 18:16:53 +0100 Subject: [PATCH] u-prefer-local-css 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 9dbbe6bcfe..7bc6844285 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -413,7 +413,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"); } -- 2.30.2