pngcrush does a very good job at reducing the size of PNG-Files. I was wondering if the was something similar for GIFs, which we still use in our applications (can't fix that quickly).
Google Page Speed claims that our GIF images could be optimized by a large amount, but doesn't recommend a way. I searched the web and couldn't find a tool or library.
Does anyone know a straight forward way to optimize those GIF-Files?
I just ran across this problem and found Gifsicle (as mentioned by Daidai). It's included in the Ubuntu repos (and probably other Linux distros) and the website has ports for Windows/Mac.
To optimize a set of images, you can use this command:
gifsicle --batch --optimize=3 *.gif