K 10 svn:author V 3 max K 8 svn:date V 27 1997-10-15T22:15:48.000000Z K 7 svn:log V 113 Use PATCHFILES, PATCH_SITES and PATCH_DIST_ARGS to apply the distributed patch instead of doing it in pre-patch. END