Replace favicon.ico with an actual ICO file #582
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Previous it actually was a PNG.
Before:
% file docs/images/favicon.ico
docs/images/favicon.ico: PNG image data, 32 x 32, 8-bit/color RGBA, non-interlaced
After:
% file docs/images/favicon.ico
docs/images/favicon.ico: MS Windows icon resource - 5 icons, -128x-128, 32 bits/pixel, 64x64, 32 bits/pixel
I converted using:
% convert logo.png -define icon:auto-resize=128,64,48,32,16 favicon.ico