On Tue, Jan 27, 2009 at 12:28:19AM +0100, Reimar Döffinger wrote: > I do wonder though why make clean does not delete help_mp.h and several > other generated files, too, is there any kind of concept behind it? ;-) make clean deletes all binary files. Diego