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 suffices, then they won't be overwritten when I upgrade packages. (2) There are symbolic links which assume that the man pages are not compressed. --Derek Lee