On Mon, Feb 20, 2012 at 07:09:40PM +0100, Wouter Verhelst wrote: > On Mon, Feb 20, 2012 at 06:02:50PM +0100, Bill Allombert wrote: > > Debian is used on small systems where users still like to have > > documentation, and > > support zlib compression is almost universal. > > I would not have any objection against a tool which would compress files > upon installation for those users who want it. But I don't think having > to compress files inside the .deb package buys us very much anymore.
To be a bit more specific on this: such a tool could be implemented fairly trivially with a dpkg trigger. Just register a trigger that triggers on any file under /usr/share/doc, and have it call gzip --best on the files it is called with. Would such a tool alleviate your concerns? -- The volume of a pizza of thickness a and radius z can be described by the following formula: pi zz a -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120220235351.gn4...@grep.be
