K 10 svn:author V 3 mpp K 8 svn:date V 27 2002-05-29T04:07:49.000000Z K 7 svn:log V 390 Remove the share/man/tools directory. Nothing in here works anymore, and 'manck' from ports does just about everything these tools ever did. (I did have these 90% working about 5 years ago, but manck came along.....) The only file of interest might be sp.ignore, but it can be pulled from the attic if anyone has that much interest. Inspired by: Mark Murray's deletion of share/man/man0 END