[debhelper-devel] Bug#865869: debhelper: Don't run dh_installdocs if nodoc is specified in DEB_BUILD_PROFILES

[Chris Lamb]

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.


Best wishes,

-- 
      ,''`.
     : :'  :     Chris Lamb, Debian Project Leader
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-