Creating mpeg in windows

[ja72]

I was able to convert all the *.ppm files into a single .mpeg file using the convert command from ImageMagick.

The command is

convert -delay 5 *.ppm output.mpeg

or have a create-vid.bat batch file with contents

cd output
convert -delay 5 *.ppm output.mpeg
move *.mpeg ..
del /q *.ppm
cd ..