[Savannah-hackers] Re: dejagnu: GIF files

[Rob Savoye]

On Sat, Jan 19, 2002 at 12:35:09PM -0500, address@hidden wrote:
>     Could you please remove the following GIF files from the project
> dejagnu hosted on the GNU machines ? 

  I have zero problem getting rid of the GIFs. These come from Docbook, since
the DejaGnu manual is in SGML. I had once hacked up the Docbook tools to
use png versions of all these files, but I guess I'll need to do it again,
and try to get the patches in the next Doctools release.

        - rob -