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,