From: Guy Maor <maor@ece.utexas.edu> > Why do we not gzip man page source? I just confirmed that man, catman, > mandb, and xman all have no trouble with gzipped pages. What about that Emacs man page browser? I assume one exists :-) . > We could make this as an easily achievable goal of Debian 1.2. ;-) Yes, I think we should. Bruce -- Pixar Animation Studios: Reality is not our business. Pixar's "Toy Story" $184.79M domestic, $101.7M overseas and counting.