# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 770100923 0
# Node ID 5db3f3e8bf5027990d294531616452c54023b2d9
# Parent  c8f19e4a4d0f4254a2c3833b1f3b307dfb3071d4
(distclean): Delete Makefile, Makefile.in, blessmail.

diff -r c8f19e4a4d0f -r 5db3f3e8bf50 lib-src/Makefile.in
--- a/lib-src/Makefile.in	Sat May 28 04:48:21 1994 +0000
+++ b/lib-src/Makefile.in	Sat May 28 04:55:23 1994 +0000
@@ -222,6 +222,7 @@
 
 distclean: clean
 	-rm -f ../etc/DOC* *.tab.c *.tab.h aixcc.c TAGS
+	-rm -f Makefile Makefile.in blessmail
 
 realclean: distclean
 	true