[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-hackers] Re: dejagnu: GIF files
From: |
Rob Savoye |
Subject: |
[Savannah-hackers] Re: dejagnu: GIF files |
Date: |
Tue, 22 Jan 2002 09:15:46 -0700 |
User-agent: |
Mutt/1.2i |
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 -
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Savannah-hackers] Re: dejagnu: GIF files,
Rob Savoye <=