From: Richard W.M. Jones <rjones@redhat.com> <"Richard W.M. Jones <rjones@redhat.com>">
Date: Fri, 2 May 2008 12:39:49 +0000 (+0100)
Subject: Minor change in doc files.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=5ba50d136d1d466ba3c8f8854c89ddb835f7aa9e;hp=e73ed9cb3c49a0acf9861ec1e5b3cf5ee2cd4efd;p=virt-df.git

Minor change in doc files.
---

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