в параметрах публикации отмечаешь gif, если он тебе нужен... но качество гиф, создаваемых флешем - не аллё (что при публикации что при экспорте)... проще экспортировать в *.avi - и его закинуть в фотошоп, которым сгенерить гиф, или экспортировать как последовательность картинок и их собрать либо в фотошопе, либо в любой спец. утилитке
