For completeness: I just noticed that the man page of kill has the following sentence, so I'm pretty sure nothing needs to be changed in it.
NOTES Your shell (command line interpreter) may have a built-in kill command. You may need to run the command described here as /bin/kill to solve the conflict. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1065972 Title: Man page of command "kill" is wrong To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/procps/+bug/1065972/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
