Change the square logo for a wide one (#6397)

Co-authored-by: Patchcoat <spiencewelch@gmail.com>
This commit is contained in:
Yuri Sizov
2022-11-20 14:10:09 +03:00
committed by GitHub
parent 3cb71819bf
commit 4096508fb6
6 changed files with 16 additions and 8 deletions

View File

@@ -9,7 +9,7 @@ rm -f tmp-unused-images-history
# Exceptions are ignored, and for .svg files we also look for potential .png
# files with the same base name, as they might be sources.
exceptions="docs_logo.png tween_cheatsheet.png"
exceptions="docs_logo.svg tween_cheatsheet.png"
files=$(find -name "_build" -prune -o \( -name "*.png" -o -name "*.jpg" -o -name "*.svg" -o -name "*.gif" \) -print | sort)