On 2012-09-03 at 14:00 +0200 Jelmer Vernooij sent off: > It does seem like 'make clean' is broken in that case, as it removes > these files. Should the 'rm autoconf/lib/param/param_local.h' and > related commands perhaps be moved to the 'realdistclean' target? makes sense imho... Cheers Björn