[debhelper-devel] Bug#871822: Bug#871822: debhelper: Ignore .install files for "Section: doc" packages when the nodoc build option is set

Niels Thykier niels at thykier.net
Sat Aug 12 06:46:00 UTC 2017

Control: tags -1 wontfix

Emmanuel Bourg:
> Package: debhelper
> Version: 10.7.2
> Severity: normal
> Hi,
> I started implementing the new "nodoc" build option in maven-debian-helper
> but it led to build failures because even if the javadoc generation is
> skipped, the .install files are still interpreted and dh_install fails due
> to the missing files.
> Would it be possible to modify debhelper such that the .install files are
> ignored for the packages identified as belonging to the "doc" section in
> debian/control when nodoc is set?
> Thank you,
> Emmanuel Bourg
> [...]


I appreciate the idea, but it is not scalable to implement this kind of
filtering in dh_install.  Instead, I will recommend that you use
dh_installdocs, dh_installman etc. to install such documentation.  They
will under the nodoc profile know what to ignore.

Admittedly, these tools are suboptimal to use for this purpose before
compat 11.


More information about the debhelper-devel mailing list