Minor change in doc files.

diff --git a/lib/Makefile.in b/lib/Makefile.in
index b42a55c..1a5fc58 100644 (file)
--- 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