From 340c5535ae3adee6f3335e6696adeeff87582e55 Mon Sep 17 00:00:00 2001 From: Debian Rust Maintainers Date: Sat, 7 Nov 2020 21:21:03 +0000 Subject: [PATCH] d-use-local-css Gbp-Pq: Name d-use-local-css.patch --- src/bootstrap/doc.rs | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index d116ff2b99..90ea28dc2b 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -361,15 +361,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); } -- 2.30.2