(top_distclean): Delete config.cache.

diff --git a/Makefile.in b/Makefile.in
index e67f98c587276ba30a504a3610cf81edaf0960c2..e2d90b8980bbcf0d10b96719d36685c163d5cdee 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -436,7 +436,7 @@ clean: FRC
 ###      `make distclean' should leave only the files that were in the
 ###      distribution.
 top_distclean=\
-       rm -f config.status ; \
+       rm -f config.status config.cache ; \
        rm -f Makefile ${SUBDIR_MAKEFILES} ; \
        (cd lock && rm -f *)
 distclean: FRC