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.

	It might be worth updating csh to accept -s in its kill builtin, 
	and its certainly worth updating the kill manpage to note that
	other shell's builtin kills may have a slightly different syntax.

		David/absolute

	"Its just another ultimate battle of good against evil..."