#!/bin/sh

OUTPUT=movie.avi
W=800
H=600
FPS=25

for file in $( ls *.ppm ); do
    if [ -e $file.jpg ]
    then
	echo Using $file
    else
	echo Converting $file
	convert -quality 100 $file $file.jpg
    fi
done

mencoder mf://*.jpg -mf w=$W:h=$H:fps=$FPS:type=jpg -ovc lavc -lavcopts vcodec=mpeg4:mbd=2:trell -oac copy -o $OUTPUT