Re: [Texmacs-dev] Re: texmacs 1.0.1.10 and gs, one more thing

[Martin Costabel]

Michèle Garoche wrote:

> So, that's a problem if they are gif files, as we are not supposed to 
> use gif files (license), are we? They were integrated last year by Joris 
> (23rd October 2002). Don't know who created them. In any case, they 
> should be true png files.

Yes, something is wrong here. Actually, not all of them are gif. here is 
the ouput of 'file' I get:

martin% file *
arrow_left.png:   PNG image data, 50 x 50, 8-bit/color RGBA, non-interlaced
arrow_right.png:  PNG image data, 50 x 50, 8-bit/color RGBA, non-interlaced
char_alpha.png:   PNG image data, 15 x 15, 8-bit/color RGBA, non-interlaced
char_lquote.png:  PNG image data, 13 x 16, 8-bit/color RGBA, non-interlaced
char_oe.png:      PNG image data, 17 x 18, 8-bit/color RGBA, non-interlaced
char_pm.png:      PNG image data, 15 x 15, 8-bit/color RGBA, non-interlaced
char_rquote.png:  PNG image data, 12 x 16, 8-bit/color RGBA, non-interlaced
char_sum.png:     PNG image data, 20 x 20, 8-bit/color RGBA, non-interlaced
tm_bold.png:      GIF image data, version 87a, 17 x 17,
tm_copy.png:      PNG image data, 17 x 17, 8-bit/color RGBA, non-interlaced
tm_emphasize.png: PNG image data, 16 x 17, 8-bit/color RGBA, non-interlaced
tm_item.png:      PNG image data, 17 x 17, 8-bit/color RGB, non-interlaced
tm_language.png:  GIF image data, version 87a, 17 x 17,
tm_load.png:      GIF image data, version 87a, 17 x 17,
tm_math.png:      PNG image data, 16 x 16, 8-bit/color RGBA, non-interlaced
tm_print.png:     GIF image data, version 87a, 17 x 17,
tm_save.png:      GIF image data, version 87a, 17 x 17,
tm_section.png:   GIF image data, version 87a, 17 x 17,
tm_style.png:     GIF image data, version 87a, 17 x 17,

--
Martin