[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
> [...]


Hi,

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.

Thanks,
~Niels




More information about the debhelper-devel mailing list