Как сделать gif из нескольких png через ffmpeg

Берёт из текущей папки файлы вида 0001.png, 0002.png, изменяет размер к 640×360, делает смену кадра один раз в 2 секунды (то есть частота — пол кадра в секунду)
ffmpeg -r 0.5 -i %04d.png -s 640x360 -r 0.5 output.gif