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

[Chris Lamb]

Hi Holger,

> policy is there for reasons and in this case it's because most free software
> demands that the copyright licence is shipped together with the binaries.

In this case, sure, but I was already making the more-abstract point that
folks probably shouldn't be uploading packages to "real" Debian that are
built with any of these profiles.

(Or, at least I was, until I was corrected re. bootstrapping, so this sub-
diversion is a little moot.)


Regards,

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