On Thu, Dec 25, 2025 at 11:06:34AM -0800, Russ Allbery wrote:
The rationale in Debian for compressing documentation in general is for embedded systems and other small installations, and it applies to just about anything that can be safely compressed (manual pages are only one example)
In embedded and other small installations, I'd prefer everyting under /usr/share/man just excluded from installations on the package manager level, but I never have been able to find out how to rub dpkg --path-exclude the right way to do that. While we're at it, exclude everything under /usr/share/doc with the exception of /usr/share/doc/*/copyright*
Having html docs or others compressed in /usr/share/doc is another pet peeve that makes it harder to use the on-disk docs.
Greetings Marc -- ----------------------------------------------------------------------------- Marc Haber | "I don't trust Computers. They | Mailadresse im Header Leimen, Germany | lose things." Winona Ryder | Fon: *49 6224 1600402 Nordisch by Nature | How to make an American Quilt | Fax: *49 6224 1600421
