title: Convert Flash animation to video
body: <p>I have a Flash-file with some ActionScript code that loads an RSS-feed and animates the content. Now I need to convert that to a video file to use on an external display. Since the RSS-feed updates quite often, this needs to be automated and preferably run on Linux.</p>
  
  <p>So far, I've only found tools to convert FLV to another video format, but that isn't exactly what I need.</p>
  
  <p>Are there any tools available to do this or can it only be done manually through Adobe Flash?</p>