[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