diff --git a/Makefile b/Makefile
index 75c52a2d..3b3b63d0 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,6 @@ DOC=lib.docdir/index.html
 NAME=msat
 
 LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
-GENERATED=$(MAIN) $(BIN) gmon.out
 
 all:$(LIB)
 
@@ -21,7 +20,6 @@ doc:
 
 clean:
 	$(COMP) -clean
-	rm -f $(GENERATED)
 
 TO_INSTALL=META $(addprefix _build/,$(LIB))