[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Savannah-hackers] address@hidden: Re: GIF files]
From: |
Loic Dachary |
Subject: |
Re: [Savannah-hackers] address@hidden: Re: GIF files] |
Date: |
Tue, 19 Feb 2002 10:00:24 +0100 |
There are no GIF files in the dejagnu web pages. There are GIF files
in the dejagnu CVS repository.
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/caution.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/home.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/important.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/next.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/note.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/prev.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/tip.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/toc-blank.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/toc-minus.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/toc-plus.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/up.gif,v
/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images/warning.gif,v
Cheers,
Richard Stallman writes:
> Would whoever is appropriate please delete these files?
>
> ------- Start of forwarded message -------
> Date: Sat, 16 Feb 2002 18:30:33 -0700
> From: Rob Savoye <address@hidden>
> To: Richard Stallman <address@hidden>
> Subject: Re: GIF files
> Content-Disposition: inline
> In-Reply-To: <address@hidden>; from Richard Stallman on Sat, Feb 16, 2002 at
> 02:57:29PM -0700
>
> On Sat, Feb 16, 2002 at 02:57:29PM -0700, Richard Stallman wrote:
> > Could you please remove the GIF files from dejagnu?
> > Replace them with jpeg, perhaps?
>
> They're actually not used at all in the web page, they're just ancient
> crapola. As they aren't in the CVS tree for my web site, I can't delete
> them. If anyone with an shell account can do this, I'd appreciate.
>
> I prefer pngs myself to the point I hacked up the Docbook tools to
> generate pngs, instead of gifs. But that's where these cam from, these gifs
> are in the Docbook release.
>
--
Loic Dachary http://www.dachary.org/ address@hidden
12 bd Magenta http://www.senga.org/ address@hidden
75010 Paris T: 33 1 42 45 07 97 address@hidden
GPG Public Key: http://www.dachary.org/loic/gpg.txt