From 7e5e0277f0309b52a042c9a4f73c2e1374b1fa6f Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Thu, 13 Apr 1995 04:56:20 +0000
Subject: [PATCH] (top_distclean): Delete config.cache.

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index e67f98c5872..e2d90b8980b 100644
--- 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
-- 
2.39.5