Ma in ogni caso non si esporta nessuna animazione .gif da Flash.

Usa Photoshop o altro programma per fare .gif animate:

http://www.youtube.com/watch?v=Nna1fyEbZ9k