On Wed, 22 Jan 2003 14:05:00 GMT, tmh at nodomain.org (Tony Hoyle) wrote: >The info files should all be case sensitive already... certainly they >are here...? OK I meant insensitive... Tony (bad typist)