From 7c3ce1f99992caa51c6ce3eabea3b9bce137665f Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 17 Jul 2008 15:58:23 +0000 Subject: [PATCH] Document the bitmatch compatibility library. --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index c60a315..fba131c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -165,7 +165,7 @@ doc: rm -rf html mkdir html $(OCAMLDOC) $(OCAMLDOCFLAGS) -d html -I +camlp4 \ - bitstring.mli bitstring_persistent.mli + bitstring.mli bitstring_persistent.mli bitmatch.ml endif # Install. -- 1.8.3.1