changeset 7718:5db3f3e8bf50

(distclean): Delete Makefile, Makefile.in, blessmail.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 May 1994 04:55:23 +0000
parents c8f19e4a4d0f
children 393744d00ab9
files lib-src/Makefile.in
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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