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

[Chris Lamb]

retitle 865869 debhelper: Don't run dh_installdocs if nodoc is specified in DEB_BUILD_PROFILES
thanks

(Whoops, I think I meant DEB_BUILD_PROFILES, not DEB_BUILD_OPTIONS. But
perhaps this applies to both.)


Regards,

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