changeset 9506:2341ee469132

(top_distclean): Don't rm build-install. (SOURCES): Delete build-install.in.
author Richard M. Stallman <rms@gnu.org>
date Thu, 13 Oct 1994 04:04:30 +0000
parents 014e2214b8cb
children 6773cf9c2e75
files Makefile.in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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