Give precedence to `html_root_url` over `--extern-html-root-url` by default, but add a way to opt-in to the previous behavior#82776

Merged

bors merged 1 commit intorust-lang:masterfrom jyn514:extern-url-fallback

Aug 21, 2021

+51-14

Commits on Aug 19, 2021

Give precedence to html_root_url over --extern-html-root-url by default, but add a way to opt-in to the previous behavior
jyn514
committed