K 10 svn:author V 2 hq K 8 svn:date V 27 2005-10-11T16:36:30.000000Z K 7 svn:log V 134 Add a mirror for the man page distribution on MASTER_SITE_LOCAL as the former server is experiencing trouble on regular basis lately. END