|
From: Serge L. <fi...@in...> - 2007-07-16 13:18:42
|
Hi, Jan Hugo Prins wrote: >> PS. Could you please check if "man" on your system works correctly with gzipped >> man files (ex. 'man 1 cat' )? I'm not sure, but it looks like a small bug in man >> config. >> >> > This is indeed not correct. It forgets to gunzip the man page. > You can fix it in your working system. No rebuild is required. There is "-d" missed for gzipped source. --- etc/man.conf.wrong 2007-07-11 10:28:46.000000000 +0400 +++ etc/man.conf 1980-01-01 01:01:01.000000000 +0300 @@ -134,7 +134,7 @@ # Decompress with given decompressor when input file has given extension # The command given must act as a filter. # -.gz /bin/gunzip -c +.gz /bin/gunzip -c -d .bz2 /bin/bzip2 -c -d .z .Z /bin/zcat -- Serge Leschinsky |