>> 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.

and it might also be worth while (although perhaps a little hackish)
to modify /bin/kill to match the way the shell builtins work...no?

-- 
|-----< "CODE WARRIOR" >-----|
codewarrior@daemon.org             * "ah!  i see you have the internet
twofsonet@graffiti.com (Andrew Brown)                that goes *ping*!"
andrew@crossbar.com       * "information is power -- share the wealth."