diff --git a/Makefile b/Makefile index fd46bc6..bf7a3af 100644 --- a/Makefile +++ b/Makefile @@ -23,7 +23,7 @@ test: $(TESTS) rm $(OUTPUT) clean: - rm -r *.cmi $(MAIN).byte _build/ *.conflicts + rm -r *.cmi $(MAIN).byte _build/ *.conflicts parser.ml parser.mli archive: tar czf "IC.tar.gz" *.ml *.mly *.mll Makefile $(TESTS_DIR)