怎样把GIF文件改小，GIF动画文件改大小的方法

如果一个GIF文件过大，那么在发送传输出去时，就会很长时间都不会播放，怎样把GIF动画文件改小，缩小GIF动画文件的体积，可参考以下方法。