Russ Allbery writes ("Bug#640874: leave: debian/rules is not a Makefile"): > Russ Allbery <r...@debian.org> writes: > > Russ Allbery <r...@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. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org