From 5ba50d136d1d466ba3c8f8854c89ddb835f7aa9e Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Minor change in doc files. --- lib/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.8.3.1