K 10 svn:author V 3 jkh K 8 svn:date V 27 1995-04-15T06:00:11.000000Z K 7 svn:log V 66 Make DISTNAME and RELEASE the same for now. It makes more sense. END