From 24470d727b19592c55fa5680ced801532add9132 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Thu, 13 Oct 1994 04:04:30 +0000
Subject: [PATCH] (top_distclean): Don't rm build-install. (SOURCES): Delete
 build-install.in.

---
 Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 3812aa095ad..716b836183d 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -427,7 +427,7 @@ clean: FRC
 ###      `make distclean' should leave only the files that were in the
 ###      distribution.
 top_distclean=\
-	rm -f config.status build-install ; \
+	rm -f config.status ; \
 	rm -f Makefile ${SUBDIR_MAKEFILES} ; \
 	(cd lock ; rm -f *)
 distclean: FRC
@@ -479,7 +479,7 @@ extraclean:
 ### and VC will swiftly let you know if this happens, and it is easily
 ### corrected.
 SOURCES = ChangeLog GETTING.GNU.SOFTWARE INSTALL Makefile.in PROBLEMS \
-	README build-install.in configure make-dist move-if-change
+	README configure make-dist move-if-change
 
 .PHONY: unlock relock
 
-- 
2.39.5