Существуют всевозможные сложные и хорошо работающие (предположительно) способы сделать это, перечисленные здесь. Тем не менее, я никогда не хотел проходить этот процесс до и после. Итак, я просто использую онлайн-конвертер, который мне подходит несколько раз, когда мне нужно это делать. Я использовал этот сайт:
http://ezgif.com/video-to-gif
Это не мой сайт, и я ни с кем не связан с ними. Они только в моих закладках, и их еще много.