From: Fabian Grünbichler Date: Wed, 25 Mar 2020 07:56:15 +0000 (+0100) Subject: use local css for not_found.html as well X-Git-Url: https://git.proxmox.com/?a=commitdiff_plain;h=0748685fb806b10720b0ff168ecdb68ddb3c6a8d;p=rustc.git use local css for not_found.html as well Signed-off-by: Fabian Grünbichler --- diff --git a/debian/patches/d-use-local-css.patch b/debian/patches/d-use-local-css.patch new file mode 100644 index 0000000000..167d1ff7eb --- /dev/null +++ b/debian/patches/d-use-local-css.patch @@ -0,0 +1,22 @@ +diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs +index 204056598..4b65359b2 100644 +--- a/src/bootstrap/doc.rs ++++ b/src/bootstrap/doc.rs +@@ -324,15 +324,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); + } + } diff --git a/debian/patches/series b/debian/patches/series index 6233216411..d1ef04ec42 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -39,3 +39,4 @@ d-fix-mips64el-bootstrap.patch # Work around for some porterboxes, keep this commented #d-host-duplicates.patch +d-use-local-css.patch