[bootstrap] Make --open option work with doc src/tools/error_index_generator#148644
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 9, 2025
Merged
--open option work with doc src/tools/error_index_generator#148644