Müsste an sich schon irgendwie möglich sein,gerade wenn du ja die fla hast:

http://www.pcwelt.de/forum/free-shar...ash-2-gif.html

Ansonsten kann man ja auch von jedem Frame oder wie das bei Flash auch immer heißt ein Bild erstellen, und das halt dann mit einem GIF Editor zusammenfügen, evtl hat Flash jo sowas wie Batch oder Stapelverarbeitung?