use local css for not_found.html as well

Signed-off-by: Fabian Grünbichler <f.gruenbichler@proxmox.com>

diff --git a/debian/patches/d-use-local-css.patch b/debian/patches/d-use-local-css.patch
new file mode 100644 (file)
index 0000000..167d1ff
--- /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 6233216411f165d2cf567cb08f002f4a3fe9eb66..d1ef04ec42053ce2d35121dd779b03a536754155 100644 (file)
--- 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