I think the last time we discussed this on the mailing lists, we
decided that there was no problem with compressed man page source.
The decompressor runs quickly, the man browsers all understand .gz
files, etc. I think that it's OK for packages to start installing
compressed man pages.
Bru
Derek Lee <[EMAIL PROTECTED]> writes:
> is there some way ask the install scripts to do so? I cannot just go
This issue has been discussed, but not resolved. It was decided to
wait until after the 1.1 release to deal with it. For now you would
probably be better off to try and just live with th
Hi,
I notice that the debian packages install man pages without
compression. If I would like to gzip all my man pages to save space,
is there some way ask the install scripts to do so? I cannot just go
in and gzip all the files in my /usr/man directories because:
(1) If all my man pages have .gz
3 matches
Mail list logo
