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

[camelid]

Previously the title would be

lib.rs.html -- source

if lib.rs was the actual source filename. Now the title is

lib.rs - source

[rust-highfive]

r? @Mark-Simulacrum

(rust_highfive has picked a reviewer for you, use r? to override)

[camelid]

Note that I haven't tested this locally yet, so this is draft.

[camelid]

Tested locally: it works!

[camelid]

It might be better to just use a plain dash (-) rather than a Unicode en dash (–) since I think that's what other page titles use.

[jyn514]

I would prefer to use - for now so it's consistent; if you want to use – then let's make a separate PR making all of the pages use – at once.

[Mark-Simulacrum]

r? @jyn514

I would suggest avoiding unrelated cleanups in PRs like this (i.e., the second commit here).

[jyn514]

I would prefer to use - for now so it's consistent; if you want to use – then let's make a separate PR making all of the pages use – at once.

[camelid]

I would suggest avoiding unrelated cleanups in PRs like this (i.e., the second commit here).

Sorry about that! I guess it feels like too much overhead to open a lot of PRs each doing a small thing, but I agree that it makes sense to split them up in the future.

[jyn514]

@bors r+ rollup

Good catch, thanks :)

[bors]

📌 Commit 243c8e9 has been approved by jyn514