Veamos, Flash tiene la opcion de publicar las animaciones o imagenes en diferentes formatos, solo presiona Ctrl + Shift + F12 y se visualizara la ventana para elegir los formatos que desees publicar, dentro de los cuales esta el .gif, si la combinacion ded teclas no es la misma en tu flash (el mio es mx en ingles) puedes entrar a archivo/publish settings... (configurar publicacion o algo asi) y ahi encontraras las opciones
.
Solo hay un inconveniente (eso creo pues no se como pudiera solucionar eso), que la animacion debe estar en la escena 1, pues si editas algun clip la niamcion de esta no saldra
.
Saludos!!
