[Savannah-hackers] Re: dotgnu: GIF files

[Anil]

Hi, I have informed the concerned project admin about this. We will take 
care of it as soon as possible. Sorry for the oversight.

regards
   Anil


On Sat, 19 Jan 2002 address@hidden wrote:

>     Hi,
> 
>     Could you please remove the following GIF files from the project
> dotgnu hosted on the GNU machines ? 
> 
>     For an explanation on why there are not GIF files on the GNU
> machines read http://www.gnu.org/philosophy/gif.html. This policy was
> established years ago by the GNU project and is an integral part of
> the requirements for every project registering on savannah.gnu.org
> (see http://savannah.gnu.org/register/requirements.php).
> 
>     The home page of your project is 
>       http://savannah.gnu.org/projects/dotgnu/
> 
>     You can convert GIF files to PNG using the gif2png program.
>       http://www.tuxedo.org/~esr/gif2png/gif2png-2.4.2.tar.gz
> 
>     Here is a sample script to convert the GIF files that are in
> your web pages to PNG.
> 
>     export CVS_RSH=ssh
>     cvs -d address@hidden:/webcvs co projects/dotgnu/
>     cd projects/dotgnu/
> 
>     while read file 
>     do
>       gif2png -O $file.gif
>       cvs delete -f $file.gif
>       cvs add $file.png
>     done <<'EOF'
> pnetlib-status/corner-bottom-left
> pnetlib-status/corner-bottom-right
> pnetlib-status/corner-top-left
> pnetlib-status/corner-top-right
> EOF
>     cvs commit -m 'Convert GIF to PNG'
> 
> 
>       Thanks for your help,
> 
>       The GNU volunteers, address@hidden
> 
>