[DOC++] Re: suggestion: replace gif by png

[Dragos A. <dr...@bi...>]

	Hello,

> Replace the use of gif image by the png format. Advantages are:

	Seems a nice idea to me.

> The changes are rather simple: 
> 1. replace all occurrences of ".gif" in all source files by ".png" except 
> where it points to something like "icon.gif"
> 2. change tex2gif.cc like in the appended version.

	I'll apply your changes, thanks!!! Eventualy, I'll add a 
configuration option that would change the gifs into pngs. But PNGs are 
better than GIFs, anyway...


With kind regards and thank you,
Dragos.

---------------------------------------------------------------------
Dragos Acostachioaie                                    dr...@ad...
BIOSFARM SRL                                        http://www.adt.ro
Spital Pascanu 35A                       Mobile Phone: +40-744-564548
IASI 6600, ROMANIA          Phone/Fax: +40-232-270914, 272510, 272716
---------------------------------------------------------------------