diff options
| author | Michael Howell <michael@notriddle.com> | 2023-09-13 15:08:45 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-09-15 07:40:17 -0700 |
| commit | 7e86fd61e83717fc23b6141d2ba728aefbe5e168 (patch) | |
| tree | f7000c35bcea979c3ad564f488dbdb6c97842486 /src/bootstrap | |
| parent | cbccf800b85541187b3a8a17359c94c802e99748 (diff) | |
| download | rust-7e86fd61e83717fc23b6141d2ba728aefbe5e168.tar.gz rust-7e86fd61e83717fc23b6141d2ba728aefbe5e168.zip | |
rustdoc: merge theme css into rustdoc.css
Based on https://github.com/rust-lang/rust/pull/115812#issuecomment-1717960119 Having them in separate files used to make more sense, before the migration to CSS variables made the theme files as small as they are nowadays. This is already how docs.rs and mdBook do it.
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/test.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index 35e2e98e08e..96611ca873a 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -846,7 +846,7 @@ impl Step for RustdocTheme { let rustdoc = builder.bootstrap_out.join("rustdoc"); let mut cmd = builder.tool_cmd(Tool::RustdocTheme); cmd.arg(rustdoc.to_str().unwrap()) - .arg(builder.src.join("src/librustdoc/html/static/css/themes").to_str().unwrap()) + .arg(builder.src.join("src/librustdoc/html/static/css/rustdoc.css").to_str().unwrap()) .env("RUSTC_STAGE", self.compiler.stage.to_string()) .env("RUSTC_SYSROOT", builder.sysroot(self.compiler)) .env("RUSTDOC_LIBDIR", builder.sysroot_libdir(self.compiler, self.compiler.host)) |
