Bug#232448: debian-policy: Ada Library Information files must be read-only

[Russ Allbery <rra@debian.org>]

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> Yes, the information is still current and correct.  (One does not change
> a sound design decision that has proven its worth for years... :) )

Okay, here is a proposed patch which implements the request in this bug
report.  Objections or seconds?

diff --git a/policy.sgml b/policy.sgml
index 6943397..3a70475 100644
--- a/policy.sgml
+++ b/policy.sgml
@@ -5389,6 +5389,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">
@@ -7946,7 +7954,7 @@ endscript
 	</p>
       </sect>
 
-      <sect>
+      <sect id="permissions-owners">
 	<heading>Permissions and owners</heading>
 
 	<p>

-- 
Russ Allbery (rra@debian.org)               <http://www.eyrie.org/~eagle/>