changeset 12577:b0ad874ff969

(distclean): Delete Makefile.c, not Makefile.in. (SOURCES): Corresponding changes for file renamings.
author Richard M. Stallman <rms@gnu.org>
date Tue, 18 Jul 1995 06:03:55 +0000
parents 1f9d9b409ac4
children dca4d0c72562
files src/Makefile.in
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/Makefile.in	Tue Jul 18 06:02:21 1995 +0000
+++ b/src/Makefile.in	Tue Jul 18 06:03:55 1995 +0000
@@ -976,7 +976,7 @@
 /**/# This is used in making a distribution.
 /**/# Do not use it on development directories!
 distclean: clean
-	rm -f paths.h config.h Makefile Makefile.in ../etc/DOC-*
+	rm -f paths.h config.h Makefile Makefile.c ../etc/DOC-*
 maintainer-clean: distclean
 	@echo "This command is intended for maintainers to use;"
 	@echo "it deletes files that may require special tools to rebuild."
@@ -988,8 +988,8 @@
 
 /* The rule for the [sm] files has to be written a little funny to
    avoid looking like a C comment to CPP. */
-SOURCES = *.[ch] [sm]/?* COPYING Makefile.in.in \
-	config.h.in README COPYING ChangeLog vms.pp-trans
+SOURCES = *.[ch] [sm]/?* COPYING Makefile.in \
+	config.in paths.in README COPYING ChangeLog vms.pp-trans
 unlock:
 	chmod u+w $(SOURCES)