Build documentation.

diff --git a/Makefile.in b/Makefile.in
index 2211d32..1efa3fb 100644 (file)
--- 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: