# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 782021070 0
# Node ID 2341ee4691327e355052bc06daada16643566d39
# Parent  014e2214b8cbe1dc79c428b7ef3a65c873b15fa1
(top_distclean): Don't rm build-install.
(SOURCES): Delete build-install.in.

diff -r 014e2214b8cb -r 2341ee469132 Makefile.in
--- a/Makefile.in	Thu Oct 13 04:03:10 1994 +0000
+++ b/Makefile.in	Thu Oct 13 04:04:30 1994 +0000
@@ -427,7 +427,7 @@
 ###      `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 @@
 ### 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