Create a movie file from a set of pdf files I have a set of files from which I would like to create a movie file with a certain frame rate. I can, however, not seem to find software that is able to do this.

I'm working under Ubuntu Linux. Ideally the movie would maintain the vector graphics format from the pdf. But I do not know if software exists which makes this possible. If this is impossible, I could also convert the pdf files to a nonvector format and produce a movie from it.

Does anybody have experience with this?
A tool to do that would be FFmpeg but unfortunately it does not support PDF decoding.
Though you can convert your pdf's to png's using imagemagick (relevant question on askUbuntu).

And then create a movie out of those PNG's with ffmpeg. This guide on the ffmpeg page explains how, here an example command:

ffmpeg -r 1/5 -i img%03d.png -c:v libx264 -r 30 -pix_fmt yuv420p out.mp4


This read images from the current folder with the prefix "img" and a following number of 3 digits and display them for 5 seconds (-r 1/5) with a frame rate of 30 fps (-r 30).