Peter Dyballa wrote: > But there is, probably, software to convert GIF to PDF, > PNG, JPEG, or BMP. These formats are all supported by xdvipdfmx. > ImageMagick <http://www.imagemagick.org/script/index.php> will do that. -Efraim