[debhelper-devel] Bug#866619: dh_installdocs should not install documentation files if "nodoc" is specified in DEB_BUILD_OPTIONS

[Sébastien Villemot]

Package: debhelper
Version: 10.6.1
Severity: wishlist

Dear debhelper maintainers,

Since version 4.0.0, the Debian Policy recommends the support of the "nodoc"
flag in DEB_BUILD_OPTIONS.

It would be helpful if, when this flag is set, dh_installdocs could skip the
installation of files listed in debian/*.docs.

Basically the rationale is the same as for the support of "nodoc" in
DEB_BUILD_PROFILES (see #865869).

Note that currently, for debhelper compat level 10, such a support is not
strictly needed, since dh_installdocs only warns when doc files are not
present. But it is needed for compat level 11, where dh_installdocs fails in
that case.

Best,

-- 
 .''`.    Sébastien Villemot
: :' :    Debian Developer
`. `'     http://sebastien.villemot.name
  `-      GPG Key: 4096R/381A7594
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debhelper-devel/attachments/20170630/9870e254/attachment-0001.sig>