Fix search index generation#146117

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:fix-search-index-generationGuillaumeGomez/rust:fix-search-index-generationCopy head branch name to clipboard