You make animation and want to save it into GIF file, you have exported it as animated gif but quality is bad ? you can easily use this method to get better quality animated GIF from flash.

First of all make animation, now click on Publish Settings(Ctrl+Shift+F12), check Gif Image(.gif), from Formats tab go to tab GIF, into Playback: check Animated and and into Palette Type: choose Adaptive, set max color for example 99999 or leave it, recheck if into Options are checked Optimize Colors and Smooth and click Publish, now you get better quality animated GIF image. You can use this method to create banners or some small animations.