PDF to JPG to mp4

pdftoppm input.pdf output -png -rx 600 -ry 600

ffmpeg -r 1/10 -i output-%2d.png -c:v libx264 -r 30  video.mp4