#!/bin/bash

for file in *.gif
do
	base=${file%.gif}
	gif2webp -mixed $file -o $base.webp
done