At 1996-04-16 15:38, David Engel wrote: > I strongly disagree. If you guys are so concerned about saving a > little CPU time over disk space, why aren't you complaining about info > files being installed as compressed or about man compressing the > cached pages it saves in /var/catman? Actually, I would like infopages and catpages to be uncompressed as well, at least as an option. -- Shields, CrossLink.