make clean now removes generated bin files.

diff --git a/etc/Makefile.in b/etc/Makefile.in
index eec4146..ebd93d3 100644 (file)
--- 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