image files

[Ren Diandong]

Hi, Stergios:

If you already created the gifs, you can also use UNIX utility to create
on single image file. For example, CONVERT may well suffice.

Diandong