vehemens wrote: > subject says it all Thanks. I feel dumb for this one :-) Last time I run make distcheck was like one month ago, when I added DISTCLEANFILES = doltcompile doltlibtool to the toplevel Makefile.am Paulo