K 10 svn:author V 7 cpiazza K 8 svn:date V 27 2001-01-25T01:12:56.000000Z K 7 svn:log V 120 Don't use the default HAVE_GNOME distdir. This fixes the problems people have been seeing. You can now stop bugging me. END