Add more comments to explain the code to generate the search index#90795

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:more-search-index-comments

Nov 12, 2021

Commits on Nov 12, 2021

Add more comments to explain the code to generate the search index
GuillaumeGomez
committed