Clean up rustdoc front-end source code#76022

Merged

bors merged 2 commits intorust-lang:masterfrom GuillaumeGomez:cleanup-rustdoc-front

Aug 30, 2020

+9-8

Commits on Aug 28, 2020

Clean up rustdoc front-end source code
GuillaumeGomez
committed

Commits on Aug 29, 2020

Use an id instead of a function
GuillaumeGomez
committed