As Henry mentioned, ImageMagick will work, but is _beastly_ slow. If you had, say image.pnm, I think that mogrify might work in a similar way convert does:
# mogrify -format gif87 image.pnm Will make image.gif87 (kinda weird extension). HTHO, jan --- nbs <[EMAIL PROTECTED]> wrote: > On Mon, Jul 01, 2002 at 11:45:31AM -0700, Henry House wrote: > > <SNIP> > Alernately, > > save as PNG (or other convenient format) and use the command-line convert > > program tp convert to GIF. It is beastly slow but effective and supports > many > > options to customize the output. It is part of the ImageMagick package. <SNIP> __________________________________________________ Do You Yahoo!? Yahoo! - Official partner of 2002 FIFA World Cup http://fifaworldcup.yahoo.com _______________________________________________ vox-tech mailing list [EMAIL PROTECTED] http://lists.lugod.org/mailman/listinfo/vox-tech
