I found a method on internet to use avconv
to make a video from images, but the quality is very poor. I set the resolution but it didn't help.
avconv -i "franc%04d.jpg" -r 30 -s:v 1280x720 a.mkv
How can I choose the image compression and set the quality to best?