On Sat, Jan 04, 2025 at 10:28:55AM +0000, Sean Whitton wrote: > > For /usr/share/doc/$pkg, it is easy to move the files to /usr/share/$pkg. > > I don't think that would be a good fix in most cases.
Maybe or maybe not in the majority of case, but at least this is simple enough to do on the packaging side. > > But for /usr/share/man and /usr/share/info, what to do ? > > Well, patch the program not to require the files. I'm not sure there's > any very general advice we could give about doing that. Well, then maybe this is premature to require it if we do not know how to implement it. > > Secondly, I just found a package that fails if /usr/share/doc is > > removed, so I wonder how far we can actually validate this. > > We've had that restriction in place for a long time, so that package is > just buggy, I think. Precisely, the package in question was not changed since that policy was in effect. Debian was not able to detect this problem for so long so policy promising otherwise might not quite reflect the state of the distribution. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.
