On Tue, Oct 19, 1999 at 02:58:25PM +0100, David Damerell wrote: > > There is good news, however; Tom Oehser has managed to make 'awk' > extract arfiles... Well, then...solution? :) Ben