rustdoc: Show the correct source filename in page titles, without `.html`#78094

Merged

bors merged 2 commits intorust-lang:masterfrom

camelid:rustdoc-fix-source-title

Oct 21, 2020

Commits on Oct 19, 2020

rustdoc: Show the correct source filename, without `.html`
camelid
committed

Commits on Oct 20, 2020

Apply some review suggestions
camelid
committed