diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-04-12 22:04:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-12 22:04:35 +0200 |
| commit | b01f0d392864fd581fd6cb4cd1648959bdfbfc5f (patch) | |
| tree | a6a7b3822dfffd06078b32ff7b29b992eef825d5 /src/bootstrap | |
| parent | 57393be6fba9bc6f09aa4ba6587da9633edac675 (diff) | |
| parent | b76821b4de51fa79c4f593079679f63b7476f737 (diff) | |
Rollup merge of #110235 - GuillaumeGomez:fix-extend-css, r=notriddle
Fix `--extend-css` option Fixes #110002. The file was generated in the wrong folder so I moved it into `static.files` as it made more sense to have there instead of changing the path in the templates. I also added a GUI test to ensure that this option won't break unexpectedly again.
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/test.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index ebba6e80f40..cc0e34c6035 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -1064,6 +1064,8 @@ impl Step for RustdocGUI { cargo.env("RUSTDOCFLAGS", "-Zunstable-options --generate-link-to-definition"); } else if entry.file_name() == "scrape_examples" { cargo.arg("-Zrustdoc-scrape-examples"); + } else if entry.file_name() == "extend_css" { + cargo.env("RUSTDOCFLAGS", &format!("--extend-css extra.css")); } builder.run(&mut cargo); } |
