linux: convert pictures (jpg) to avi movie

If you have pic files like:
drilldata00001.jpg
drilldata00002.jpg
drilldata00003.jpg

then you can use:

mencoder -speed 0.1 "mf://drilldata%05d.jpg" -o movie_drilldata.avi -ovc lavc -lavcopts vcodec=mjpeg

to generate an avi movie. The speed '0.1' is slower, '1' used the default frame rate. '1o' goes faster...