df203 is correct but after you click File > Export > select .gif as file type, and click Export, then when the gif dialog comes up you need to choose the "as animation" option.

Try File -> Export, and then select .gif as the file type and save it.