Create a video file from PGM files

Create a video file from PGM files

Is it possible to create a video file (playable in VLC) from a collection of pgm files. I would like to do this in Python.