-
Notifications
You must be signed in to change notification settings - Fork 12.8k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
rustdoc: update Source Serif 4 from 4.004 to 4.005 #107354
Conversation
r? @jsha (rustbot has picked a reviewer for you, use r? to override) |
Some changes occurred in HTML/CSS/JS. cc @GuillaumeGomez, @Folyd, @jsha |
The updated LICENSE.md has a trailing space in a line, but I did not want to touch the license file (apart from renaming it to SourceSerif4-LICENSE.md). |
You also need to update the file hash in |
This comment has been minimized.
This comment has been minimized.
Version 4.005 was released on 2023-01-20.
d65f376
to
167fbbc
Compare
I had to remove the trailing space as it would make tidy fail. Removing a trailing space from the license file is harmless anyway. |
This is because of #101702 I guess. I think I found this a bit harder than it should be, as I have no idea how the hash is generated; in the end I had to |
Don't hesitate to add a comment in the CSS file to explain how to generate it. |
The best I could do is something like the following. Is this fine, or is there a better way?
|
This comment has been minimized.
This comment has been minimized.
5003e85
to
1c3fc9d
Compare
Actually we already have an explanation for it in |
I didn't find anything about the hash suffixes in |
Then let's update it. :D |
I'll send the update myself. Thanks for working on this already! @bors r+ rollup |
…llaumeGomez rustdoc: update Source Serif 4 from 4.004 to 4.005 [Version 4.005](https://github.com/adobe-fonts/source-serif/releases/tag/4.005R) was released on 2023-01-20.
…llaumeGomez rustdoc: update Source Serif 4 from 4.004 to 4.005 [Version 4.005](https://github.com/adobe-fonts/source-serif/releases/tag/4.005R) was released on 2023-01-20.
I just realized that the file I mentioned have nothing to do with that. Sorry about the confusion. |
…llaumeGomez Rollup of 12 pull requests Successful merges: - rust-lang#106898 (Include both md and yaml ICE ticket templates) - rust-lang#107331 (Clean up eslint annotations and remove unused JS function) - rust-lang#107348 (small refactor to new projection code) - rust-lang#107354 (rustdoc: update Source Serif 4 from 4.004 to 4.005) - rust-lang#107412 (avoid needless checks) - rust-lang#107467 (Improve enum checks) - rust-lang#107486 (Track bound types like bound regions) - rust-lang#107491 (rustdoc: remove unused CSS from `.setting-check`) - rust-lang#107508 (`Edition` micro refactor) - rust-lang#107525 (PointeeInfo is advisory only) - rust-lang#107527 (rustdoc: stop making unstable items transparent) - rust-lang#107535 (Replace unwrap with ? in TcpListener doc) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Version 4.005 was released on 2023-01-20.