Oh, I didn't. The app that I use to animate the images (motionleap) allows me to output in a lot of different formats including gif. I make a few different versions of each one. Some with audio and extra camera effects and whatnot.