¿Existe una herramienta para crear una gifanimación a partir de un conjunto de pngarchivos? Probé el convertcomando de la suite ImageMagick , pero esto no siempre tiene éxito. Además, tengo varios problemas con esto: No puedo decir cuál es el progreso. No importa lo que intente, la -delaybandera...