# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 753439153 0
# Node ID ef406a9b2f44adfcc30c000bbb208ab80b81053b
# Parent  d3bd7baee39f44efa57bef64802bbf83922e096c
(distclean): Do delete Makefile and Makefile.in.

diff -r d3bd7baee39f -r ef406a9b2f44 src/Makefile.in
--- a/src/Makefile.in	Tue Nov 16 08:24:30 1993 +0000
+++ b/src/Makefile.in	Tue Nov 16 08:39:13 1993 +0000
@@ -772,7 +772,7 @@
 /**/# 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: