Russ Allbery writes ("Bug#640874: leave: debian/rules is not a Makefile"):
> Russ Allbery <rra@debian.org> writes:
> > Russ Allbery <rra@debian.org> writes:
> >> B. The Technical Committee affirms the Debian Policy requirement that
> >> debian/rules must be a makefile. All packages in the archive,
> >> including leave, are required to follow this requirement. This
> >> makefile may, as is common practice, delegate implementation of its
> >> targets to a script.
Just to be clear, my interpretation of option B is that the leave
maintainer is at liberty to do this:
$ mv debian/rules debian/rules.mine
$ cat >debian/rules
#!/usr/bin/make -f
%:
chmmod +x debian/rules.mine
debian/rules.mine $@
^D
$ chmod +x debian/rules
But they are not entitled to do nothing. I think this is entirely
daft. Hence my vote for optionn A.
Ian.