K 10 svn:author V 4 jkim K 8 svn:date V 27 2015-11-17T20:47:16.533101Z K 7 svn:log V 37 Simplify man-makefile-update target. END