X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Makefile.in;h=87d131bc431f61b22a14e7d2e928fc6977684da0;hb=2333257b4dfa7e40eb6b7240fc9cd08b313e0be6;hp=127a260f4a0d5b4d030b2e818f06cb12d92756ec;hpb=0b2bee9a672e5884f17ef231daf12daa89c26126;p=virt-df.git

diff --git a/Makefile.in b/Makefile.in
index 127a260..87d131b 100644
--- 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
 
@@ -53,7 +53,7 @@ doc:
 	-cd lib; \
 	$(OCAMLDOC) $(OCAMLDOCFLAGS) -d ../html \
 	  -I +extlib -I +bitmatch \
-	  diskimage.mli diskimage.ml
+	  int63.mli diskimage.mli diskimage.ml
 endif
 
 # Distribution.