On Sun, 25 Jun 2017 21:54:03 +0100 Chris Lamb <la...@debian.org> wrote: > Chris Lamb wrote: > > > I think I meant DEB_BUILD_PROFILES, not DEB_BUILD_OPTIONS > > After a brief discussion on #debian-qa, the consensus is that — if it's > the job of debhelper to do this in the first place — then it should check > DEB_BUILD_PROFILES and not DEB_BUILD_OPTIONS.
What is the rationale for not also supporting nodoc in DEB_BUILD_OPTIONS? Since policy 4.0.0, supporting nodoc in DEB_BUILD_OPTIONS is recommended, and having dh_installdocs handle it directly would simplify the life of package maintainers. Best, -- .''`. Sébastien Villemot : :' : Debian Developer `. `' http://sebastien.villemot.name `- GPG Key: 4096R/381A7594
