K 10 svn:author V 6 gerald K 8 svn:date V 27 2006-09-18T16:23:57.000000Z K 7 svn:log V 140 Remove the hack we had used to rename man pages to match the actual names of binaries (back when GCCs configure mechanism failed to do so). END