Встала проблемма: Есть набор пронумерованных картинок (gif), как из них собрать мультик? Могу создать анимированный gif, но хочется иметь нормальный мультик в avi или в mpeg4. Зарание спасибо.

Возникла ситуация, когда необходимо обрабатывать очень большое число файлов (более 10000, до милиона) в каталоге. Команды копирования и удалениа ругаются на слишком большое количество. Есть ли возможность это побороть?