file - impostazione pubblicazione (publish setting)

e selezionei .mov

oppure

file exportmovie - scegli avi.

Fa attenzione che se esporti in avi lui interpreta solo qllo che vede sulla timeline principale e non esporta l'animazione contenuta nei movieclip.

quindi se hai animazioni nidificate in clip devi usare il .mov