K 10 svn:author V 3 imp K 8 svn:date V 27 2014-04-25T19:25:05.615186Z K 7 svn:log V 125 Eliminate last vestigies of NO_MAN= in the tree. Also, remove ineffectual NOMAN= lines. These don't change the build at all. END