Migrate run-make/rustdoc-themes to new rmake.rs - #125142

Migrate run-make/rustdoc-themes to new rmake.rs#125142

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:migrate-rustdoc-themesGuillaumeGomez/rust:migrate-rustdoc-themesCopy head branch name to clipboard