[rustdoc] Generate redirect map file#81223

bors merged 4 commits into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:generate-redirect-mapGuillaumeGomez/rust:generate-redirect-mapCopy head branch name to clipboard