From: Sengan DOT Short AT durham DOT ac DOT uk
Message-Id: <3990.9607171155@ws-ai5.dur.ac.uk>
Subject: info and gzip
To: eliz AT is DOT elta DOT co DOT il (Eli Zaretskii)
Date: Wed, 17 Jul 1996 12:55:52 +0100 (BST)
Cc: djgpp AT delorie DOT com
In-Reply-To: <Pine.SUN.3.91.960708131245.29408A-100000@is> from "Eli Zaretskii" at Jul 8, 96 01:25:35 pm
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit

Hi Eli,

I remembered that you said in the info announcement that info copes with gzipped
info files. So I tried it, and indeed it does. But, is there any special way of
dealing with the fact that gcc.i10, gcc.i11... all compress to gcc.i1z. I tried
to rename them gcc.i10, gcc.i11, gcc.i12... but gunzip reports the suffix is
wrong. Any solution?

TIA

Sengan