K 10 svn:author V 5 asami K 8 svn:date V 27 2000-10-07T22:15:03.000000Z K 7 svn:log V 153 Rename ${FILESDIR}/patch-* to ${PATCHDIR}/extra-patch-*. (This should probably be rewritten to use EXTRA_PATCHES but I don't have time to test it now.) END