From: Shantonu Sen <ssen@mit.edu>
Date: Thu, 1 Jun 2000 06:57:57 +0000 (+0000)
Subject: make clean now removes generated bin files.
X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/ea4f02c6acdf50fbc114ea9dc7e2a81f149ea8ca?ds=sidebyside;hp=b4376bf886a77fed4acec0505bbbf4150e71bbf9

make clean now removes generated bin files.
---

diff --git a/etc/Makefile.in b/etc/Makefile.in
index eec41463..ebd93d3d 100644
--- a/etc/Makefile.in
+++ b/etc/Makefile.in
@@ -123,7 +123,7 @@ mostlyclean:
 	rm -f *~
 
 clean: mostlyclean
-	rm -f $(GENERATED_ETC_FILES)
+	rm -f $(GENERATED_ETC_FILES) $(GENERATED_BIN_FILES)
 
 distclean: clean
 	rm -f Makefile