X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Makefile.in;h=1eda991deaf9681b680d6284b822c70ea0bf54db;hb=70ecd5f92e887185fd3e09f603e4c5e1a06ef4f4;hp=2211d32768e8428b7351e1059446480b79471914;hpb=9611aba66734efe3e2f1e0792a90003b657a89f5;p=virt-df.git

diff --git a/Makefile.in b/Makefile.in
index 2211d32..1eda991 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -20,7 +20,10 @@ VERSION		= @PACKAGE_VERSION@
 
 INSTALL		= @INSTALL@
 
-SUBDIRS		= lib virt-df
+OCAMLDOC        = @OCAMLDOC@
+OCAMLDOCFLAGS	:= -html -sort
+
+SUBDIRS		= lib virt-df diskzip
 
 all opt depend install:
 	for d in $(SUBDIRS); do \
@@ -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 \
+	  int63.mli diskimage.mli diskimage.ml
+endif
+
 # Distribution.
 
 dist: