Clarify rule for debian/rules shebang line

Explicitly state that  "make -f debian/rules" and "./debian/rules"
must behave  identically, to prevent confusion, and to promote
reproducibility, and conform to the principle of least surprise.

Signed-off-by: Ben Finney <ben+debian@benfinney.id.au>
Signed-off-by: Kurt Roeckx <kurt@roeckx.be>
Signed-off-by: Russ Allbery <rra@debian.org>
Signed-off-by: Manoj Srivastava <srivasta@debian.org>

diff --git a/policy.sgml b/policy.sgml
index b8b97f4bc551456e8029174f214af8be2b1d8b10..042e82f05f0d0fb700211dc2fef44cc8966d98bf 100644 (file)
--- a/policy.sgml
+++ b/policy.sgml
@@ -1725,7 +1725,10 @@
        <p>
          It must start with the line <tt>#!/usr/bin/make -f</tt>,
          so that it can be invoked by saying its name rather than
-         invoking <prgn>make</prgn> explicitly.
+         invoking <prgn>make</prgn> explicitly. That is, invoking
+          either of <tt>make -f debian/rules <em>args...</em></tt>
+          or <tt>./debian/rules <em>args...</em></tt> must result in
+          identical behavior.
        </p>
 
        <p>