En el mismo flash tienes la posibilidad de esportar la animacion en gif. Tienes que ir al menu Archivo y seleccionar configuracion de publicacion. Alli, selecciona la casilla gif y se te agregara una pestaña con opciones correspondientes al gif. Te lo exporta con el mismo nombre de la pelicula.
STARLANCER
:P