Hola, maxpower78!!
Yo cuando tengo que hacer un gif animado en flash, primero hago la animacion como si nada y despues de guardarla presiono: "Archivo"+"Exportar"+"Pelicula"(no imagen, ya me paso varias veces que me equivoque y por eso no me funciono). Ahi le pones el nombre que quieras y despues en formato pones "gif animado".
Yo tengo Windows, pero no creo que tenga que ver ese tema.
Saludos!! espero que te sirva, suerte