On Tue, 23 Nov 1999, Juan Altmayer Pizzorno wrote: > Oh, but make does stop, I just did not include it in my snippnet (sorry, I did > not think it would be relevant): It's fixed now. Sorry for the inconvenience. Bernd.