diff options
Diffstat (limited to 'tools/compress-pngs.sh')
-rwxr-xr-x | tools/compress-pngs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/compress-pngs.sh b/tools/compress-pngs.sh index 8d21a77d70..50886da44e 100755 --- a/tools/compress-pngs.sh +++ b/tools/compress-pngs.sh @@ -35,6 +35,7 @@ all: $(PNG_FILES) $(PNG_FILES): FORCE @echo Compressing $@ + @hash oxipng 2>/dev/null && oxipng -o 4 --strip safe "$@" @hash optipng 2>/dev/null && optipng -o3 -quiet "$@" @hash advpng 2>/dev/null && advpng -z -4 "$@" @hash advdef 2>/dev/null && advdef -z -4 "$@" |