* Makefile.in (config-stamp): Add a "this file generated by make" message to