* Makefile.in (bootstrap-clean): Save config.log. (top_distclean): Delete config.log~.
Attach a file by drag & drop or click to upload