user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Don't add rustdoc's CSS to other doc pages

Browse source 
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.
This commit is contained in:
Jacob Hoffman-Andrews 2022-09-16 16:53:53 -07:00
parent 54f20bbb8a
commit 68a3ca0392
1 changed files with 2 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/bootstrap/doc.rs
View file

@ -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);
}