1.14. Exporting an Animation

Animations can be exported in a number of formats. These include animated GIF image and animated PNG files for web pages, several video formats for adding sound or other effects in video editing software or uploading to YouTube, and as separate images in a number of image formats.
  Export an animation by clicking 'Export Animation' in the File menu and then selecting a format from the sub menu.
Exporting an animation can take several minutes depending on the length of the animation, format and options chosen. A progress bar will be displayed while exporting. You can stop the export process at any time by closing the progress window.