From dc67dc64435bace25c779c530a4f5e6995115101 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 1 Jan 1970 00:00:00 +0000
Subject: [PATCH] Build documentation.

---
 Makefile.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index 2211d32..1efa3fb 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -20,6 +20,9 @@ VERSION		= @PACKAGE_VERSION@
 
 INSTALL		= @INSTALL@
 
+OCAMLDOC        = @OCAMLDOC@
+OCAMLDOCFLAGS	:= -html -sort
+
 SUBDIRS		= lib virt-df
 
 all opt depend install:
@@ -41,6 +44,18 @@ distclean: clean
 	rm -f Makefile
 	rm -f virt-df/Makefile
 
+# Developer documentation (in html/ subdirectory).
+
+ifneq ($(OCAMLDOC),)
+doc:
+	rm -rf html
+	mkdir html
+	-cd lib; \
+	$(OCAMLDOC) $(OCAMLDOCFLAGS) -d ../html \
+	  -I +extlib -I +bitmatch \
+	  diskimage.mli diskimage.ml
+endif
+
 # Distribution.
 
 dist:
-- 
1.8.3.1