replace favicon.svg as well
@@ -52,6 +52,7 @@ jobs:
wget https://raw.githubusercontent.com/gtk-rs/gtk-rs.github.io/master/logo.svg
convert -density 1200 -resize 256x256 -background none logo.svg ./target/doc/rust-logo.png
for size in 16 32 ; do convert -density 1200 -resize "${size}x${size}" -background none logo.svg "./target/doc/favicon-${size}x${size}.png" ; done
+ cp logo.svg ./target/doc/favicon.svg
- name: deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ (github.event_name == 'push' && github.ref == 'refs/heads/master') || github.event_name == 'release' }}
