On Sunday, 22. January 2006 09:40, Alexander Neundorf wrote: > But then what is noinst_HEADERS good for ? > For make dist - not too important actually, but it helps to do some house cleaning from time to time (says my wife :) Greetings, Stephan