On 9 Dec 1998, Geoff Wing wrote:

> Looks fine to me.  Many shells have a builtin version of kill.  When
> you ran kill did you run ``kill'' or ``/bin/kill'' (or some other syntax
> which will definitely use the program for which the manual page refers)
> I suspect the former.

Well, it was tcsh, but the rest fits. :-(  Thanks for the hint...

Bye, Bjoern

-- 
Bjoern Labitzke   | E-Mail: hermit@cs.tu-berlin.de
PGP-Key available | Use PGP! (Don't you use envelopes for your letters?)