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

Sébastien Villemot sebastien at debian.org
Thu Jun 29 09:32:33 UTC 2017


On Sun, 25 Jun 2017 21:54:03 +0100 Chris Lamb <lamby at 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




More information about the debhelper-devel mailing list