Eu não testei nada disso, mas acho que você pode fazer isso com o ImageMagick (converter PDF para JPG) e ffmpeg (converter JPG para MP4 ou similar). Sem dúvida, muitos ajustes serão necessários para fazer isso, mas esperamos que isso comece:
convert -density 400 n2010.pdf n2010.jpg
Isso deve gerar uma imagem JPG por página. Você pode querer jogar com várias opções, como usar PNG em vez de JPG, bem como ajustar a opção de densidade para obter qualidade / resultados desejáveis.
Em seguida, eu usaria o avconv / ffmpeg para colar as imagens juntas em um vídeo. O link abaixo fornece um exemplo de trabalho (esperançosamente).
Boa sorte!
Referências
- thread do Fórum do ImageMagick para converter PDFs em JPG
- Converta várias imagens JPEG em MP4