From 4880982682d624c5df64f3e5219af3e0dd96fb83 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Tue, 16 Nov 1993 08:39:13 +0000
Subject: [PATCH] (distclean): Do delete Makefile and Makefile.in.

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

diff --git a/src/Makefile.in b/src/Makefile.in
index ad6e42ded0b..13ec39bb99f 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -772,7 +772,7 @@ clean: mostlyclean
 /**/# This is used in making a distribution.
 /**/# Do not use it on development directories!
 distclean: clean
-	rm -f paths.h config.h ../etc/DOC-*
+	rm -f paths.h config.h Makefile Makefile.in ../etc/DOC-*
 realclean: distclean
 	rm -f TAGS
 versionclean:
-- 
2.39.5