K 10 svn:author V 4 kris K 8 svn:date V 27 2003-03-28T05:09:11.000000Z K 7 svn:log V 116 Set IGNORE if !PACKAGE_BUILDING, not BROKEN. The missing distfile can probably just be added to MASTER_SITE_LOCAL. END