[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