Remove *.annot files when making clean.

diff --git a/Makefile.in b/Makefile.in
index 1eda991..87d131b 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -34,7 +34,7 @@ all opt depend install:
 clean:
        for d in . $(SUBDIRS); do \
          (cd $$d; rm -f *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a \
-           *.so *.opt *~ *.dll *.exe core); \
+           *.so *.opt *~ *.dll *.exe *.annot core); \
        done
        rm -f virt-df/virt-df