Bug#640874: leave: debian/rules is not a Makefile

[Ian Jackson <ijackson@chiark.greenend.org.uk>]

Russ Allbery writes ("Bug#640874: leave: debian/rules is not a Makefile"):
> Russ Allbery <rra@debian.org> writes:
> > Based on Ian's last response, I think the ballot has two options plus
> > further discussion, since I'm quite sure that we're not going to outlaw
> > dh:
> 
> > A. debian/rules is not required to be a makefile, only to implement the
> >    same interface as a debian/rules file implemented as a makefile
> >    (including handling of arguments and exit status).  Debian Policy
> >    should be updated to change the requirement to a recommendation, and
> >    new versions of the leave package should be permitted to be uploaded to
> >    the archive without changing debian/rules to be a makefile.
> 
> > 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.

I vote AB.

Ian.