michael@0: Makefile
michael@0: config-defs.h
michael@0: config.cache
michael@0: config.log
michael@0: config.status