[bootstrap] Make --open option work with doc src/tools/error_index_generator - #148644

[bootstrap] Make --open option work with doc src/tools/error_index_generator#148644

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:error-index-index-openGuillaumeGomez/rust:error-index-index-openCopy head branch name to clipboard