Merge branch 'master' into bug232448-rra

diff --git a/policy.sgml b/policy.sgml
index 4ea42e8afa2bdddc404eb02f4616b79e4ebb27d9..042af1ece9d8f1bfd44b00d25a4c917deba289b6 100644 (file)
--- a/policy.sgml
+++ b/policy.sgml
@@ -5495,6 +5495,14 @@ Replaces: mail-transport-agent
        (<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">
@@ -8053,7 +8061,7 @@ endscript
        </p>
       </sect>
 
-      <sect>
+      <sect id="permissions-owners">
        <heading>Permissions and owners</heading>
 
        <p>