d-bootstrap-use-local-css

===================================================================

Gbp-Pq: Name d-bootstrap-use-local-css.patch

diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs
index 91e0772b26406c2c9a60c3fa2e98bdb953cd2463..a5ab2112bea9182d7098b1b11c8cbf9d03dee01c 100644 (file)
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -372,6 +372,10 @@ 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(format!("rustdoc{}.css", &builder.version))
+                .arg("--markdown-css")
+                .arg("rust.css")
                 .arg("-o")
                 .arg(&out)
                 .arg(&path);
@@ -380,17 +384,6 @@ impl Step for Standalone {
                 cmd.arg("--disable-minification");
             }
 
-            if filename == "not_found.md" {
-                cmd.arg("--markdown-css")
-                    .arg(format!("https://doc.rust-lang.org/rustdoc{}.css", &builder.version))
-                    .arg("--markdown-css")
-                    .arg("https://doc.rust-lang.org/rust.css");
-            } else {
-                cmd.arg("--markdown-css")
-                    .arg(format!("rustdoc{}.css", &builder.version))
-                    .arg("--markdown-css")
-                    .arg("rust.css");
-            }
             builder.run(&mut cmd);
         }