rustdoc: make the help button a link to a page#103060

Merged

bors merged 4 commits intorust-lang:masterfrom

notriddle:notridddle/help-page

Oct 16, 2022

Commits on Oct 15, 2022

Commits on Oct 16, 2022

rustdoc: make help button a no-op when on help page
notriddle
committed