X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=Makefile.in;h=1eda991deaf9681b680d6284b822c70ea0bf54db;hb=70ecd5f92e887185fd3e09f603e4c5e1a06ef4f4;hp=127a260f4a0d5b4d030b2e818f06cb12d92756ec;hpb=0b2bee9a672e5884f17ef231daf12daa89c26126;p=virt-df.git

diff --git a/Makefile.in b/Makefile.in
index 127a260..1eda991 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -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.