Re: [PATCH 1/2] Install uncompressed man pages

2018-09-11 Thread David Sterba
On Tue, Aug 07, 2018 at 04:09:57PM +0200, David Sterba wrote: > On Mon, Aug 06, 2018 at 04:54:31PM -0400, Mike Gilbert wrote: > > Build systems do not typically compress man pages when installing them. > > This is generally left to distro packaging mechanisms, which may end up > > recompressing the

Re: [PATCH 1/2] Install uncompressed man pages

2018-08-07 Thread David Sterba
On Mon, Aug 06, 2018 at 04:54:31PM -0400, Mike Gilbert wrote: > Build systems do not typically compress man pages when installing them. > This is generally left to distro packaging mechanisms, which may end up > recompressing them using a different compressor. Makes sense. I've tested this on open