removed .annot files (files containing type annotations generated with ocamlc -dtypes)

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 6b7386466e0475b134ddb94a47d8f46dfea7b6df..501a411dae2d96e30fb21ebd78c0fad67b70f763 100644 (file)
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -81,7 +81,7 @@ $(IMPLEMENTATION_FILES:%.ml=%.cmo): $(LIBRARIES)
 $(IMPLEMENTATION_FILES:%.ml=%.cmx): $(LIBRARIES_OPT)
 
 clean:
-       rm -f *.cm[ioax] *.cmxa *.o *.a $(EXTRA_OBJECTS_TO_CLEAN)
+       rm -f *.cm[ioax] *.cmxa *.o *.a *.annot $(EXTRA_OBJECTS_TO_CLEAN)
        if [ -f test ]; then rm -f test; else true; fi
        if [ -f test.opt ]; then rm -f test.opt; else true; fi