Where can I find some info on converting an animated sequence into a AVI, MPEG or similar file type.

The help files do not appear to touch the subject.