Skip to content

Commit

Permalink
Don't add rustdoc's CSS to other doc pages
Browse files Browse the repository at this point in the history
This was originally added so those doc pages could use the same font
files, but it turns out to be fragile. And those doc pages are just
stubs that link to other pages, so they don't need fancy fonts.
  • Loading branch information
jsha committed Sep 16, 2022
1 parent 54f20bb commit 68a3ca0
Showing 1 changed file with 2 additions and 8 deletions.
10 changes: 2 additions & 8 deletions src/bootstrap/doc.rs
Original file line number Diff line number Diff line change
Expand Up @@ -383,15 +383,9 @@ impl Step for Standalone {
}

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");
cmd.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");
cmd.arg("--markdown-css").arg("rust.css");
}
builder.run(&mut cmd);
}
Expand Down

0 comments on commit 68a3ca0

Please sign in to comment.