X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=lib%2FMakefile.in;h=1a5fc58db09429e7eac7593ca7e4d9c1e79ec3c0;hb=5ba50d136d1d466ba3c8f8854c89ddb835f7aa9e;hp=b42a55c38f7c7a0e0b8a3ae0c71f294fb3f190d5;hpb=e73ed9cb3c49a0acf9861ec1e5b3cf5ee2cd4efd;p=virt-df.git

diff --git a/lib/Makefile.in b/lib/Makefile.in
index b42a55c..1a5fc58 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -67,7 +67,7 @@ OCAMLOPTLIBS	:= -linkpkg bitmatch.cmxa
 OCAMLDEPFLAGS	:= $(SYNTAX)
 
 OCAMLDOCFLAGS	+= $(SYNTAX) -I +extlib -I +bitmatch
-OCAMLDOCFILES	:= int63.mli diskimage.mli diskimage.ml
+OCAMLDOCFILES	:= int63.mli diskimage.mli
 
 BYTE_TARGETS	:= diskimage.cma
 OPT_TARGETS	:= diskimage.cmxa