On 08/12/2017 08:46 AM, Niels Thykier wrote: > I appreciate the idea, but it is not scalable to implement this kind of > filtering in dh_install.
Another idea, probably easier to implement: could dh_install simply skip the files installed under /usr/share/doc when nodoc is set? Emmanuel Bourg
