K 10 svn:author V 2 sf K 8 svn:date V 27 2001-01-01T19:18:53.000000Z K 7 svn:log V 96 update to 12.17.1. change MASTER_SITES to ${MASTER_SITE_SOURCEFORGE}. Submitted by: maintainer END