# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 797748980 0
# Node ID 5e814474c4a88b1bca71e6288d0e5d562dd61c1c
# Parent  dc4b96a8dc2e5e197becb00740bd4259c1673979
(top_distclean): Delete config.cache.

diff -r dc4b96a8dc2e -r 5e814474c4a8 Makefile.in
--- a/Makefile.in	Thu Apr 13 02:34:03 1995 +0000
+++ b/Makefile.in	Thu Apr 13 04:56:20 1995 +0000
@@ -436,7 +436,7 @@
 ###      `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