On Mon, 17 Jun 1996, Rob Browning wrote: > [EMAIL PROTECTED] (Emilio Lopes) writes: > > > 2- The logo itself is a gif file. Is it non-free? I can convert it to > > a jpeg file if needed. > > Don't know about the other stuff, but for this I'd recommend png, not > jpeg. As I understand it gif's lossless, and so is png, and I think > png was meant to be the replacement for gif, so it'd be an appropriate > translation. That said, I've never messed with png myself, but I've > been planning to start using it when appropriate.
I'm not convinced we need the package at all. After all, you get the image with the kernel sources anyway. Austin