Merge branch 'master' into bug477240-rra

diff --combined policy.sgml
index ce2e11639dd268534b453d9536fb0bdf03c8e07d,aa8951a09499caff7e12da3f6bae7743450b11af..d1c7ca82eb6864ca329dcdbe3e8a14cdae60633e
--- 1/policy.sgml
--- 2/policy.sgml
+++ b/policy.sgml
@@@ -5495,6 -5495,14 +5495,14 @@@ Replaces: mail-transport-agen
        (<prgn>ld</prgn>) when compiling packages, as it will only look for
        <file>libgdbm.so</file> when compiling dynamically.
        </p>
+ 
+       <p>
+       If the package provides Ada Library Information
+       (<file>*.ali</file>) files for use with GNAT, these files must be
+       installed read-only (mode 0444) so that GNAT will not attempt to
+       recompile them.  This overrides the normal file mode requirements
+       given in <ref id="permissions-owners">.
+       </p>
        </sect>
  
        <sect id="sharedlibs-intradeps">
@@@ -7561,19 -7569,7 +7569,19 @@@ fname () 
  </example>
              must be supported and must set the value of <tt>c</tt> to
              <tt>delta</tt>.
 -            </item>
 +          </item>
 +          <item>The XSI extension to <prgn>kill</prgn> allowing <tt>kill
 +            -<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 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
 +            numbers listed in the extension, which are the same as for
 +            <prgn>kill<prgn> above, 13 (SIGPIPE) must be allowed.
 +          </item>
          </list>
          If a shell script requires non-SUSv3 features from the shell
          interpreter other than those listed above, the appropriate shell
@@@ -8065,7 -8061,7 +8073,7 @@@ endscrip
        </p>
        </sect>
  
-       <sect>
+       <sect id="permissions-owners">
        <heading>Permissions and owners</heading>
  
        <p>