K 10 svn:author V 3 max K 8 svn:date V 27 1998-09-03T22:49:17.000000Z K 7 svn:log V 272 Man page fix. This involves a bit of reorganizing: Instead of using instman.sh that comes with the distribution, use /usr/bin/install to install the man page (by patching the dist makefile), otherwise, man pages get compressed according to elvis's own rule. END