Hi Antonio, > Use 'make distclean', or add files to > .git/info/exclude. Actually, 'make distclean' will not clean all the generated files. 'make maintainer-clean' should do that. I just pushed out a fix for maintainer-clean today to clean some files that were missed before. -Geoff