Makefile
config.log
debian/configure-stamp
