kill extensions must only be supported if it's a built-in

Otherwise, coreutils will take care of it.

diff --git a/policy.sgml b/policy.sgml
index a2351164f69c7192e400ac2d8d2394d65cb52c3b..d694fd2cca7e781716f83df652dac02a112c3230 100644 (file)
--- a/policy.sgml
+++ b/policy.sgml
@@ -7465,7 +7465,8 @@ fname () {
              -<var>signal</var></tt>, where <var>signal</var> is either
              the name of a signal or one of the numeric signals listed in
              the XSI extension (0, 1, 2, 3, 6, 9, 14, and 15), must be
-             supported.
+             supported if <prgn>kill</prgn> is implemented as a shell
+             built-in.
            </item>
            <item>The XSI extension to <prgn>trap</prgn> allowing numeric
              signals must be supported.  In addition to the signal