How to change the animation file extension to "GIF"

1. When you done making your animation, open "File" menu on the menu bar
2. Click "Export" on the File menu
3. Click "Export Movie"
4. when a dialog appears, change the File extension to "Animated GIF(*.gif)"
5. then, save your animation
6. good luck!!!