K 10 svn:author V 5 asami K 8 svn:date V 27 2000-03-03T20:06:13.000000Z K 7 svn:log V 87 Use EXTRA_PATCHES instead of copying a patch into ${PATCHDIR}, which can be read-only. END