From my understanding you just rename a .gif to .jpg.