X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Makefile.in;h=caf777550bd10fbd812a22aba84510cd8318bd96;hb=7a5fc851494dacaae801ef578c2b68d6184543f4;hp=1ebe8236daa2d9c5e0dccafd7934c16e7ee86c30;hpb=1bb2c688afa793b75d254e79ac7ab6c5bfcb4390;p=virt-df.git

diff --git a/Makefile.in b/Makefile.in
index 1ebe823..caf7775 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -21,12 +21,9 @@ VERSION		= @PACKAGE_VERSION@
 
 INSTALL		= @INSTALL@
 
-OCAMLDOC        = @OCAMLDOC@
-OCAMLDOCFLAGS	:= -html -sort
-
 SUBDIRS		= lib virt-df diskzip
 
-all opt depend install:
+all opt depend install doc:
 	for d in $(SUBDIRS); do \
 	  $(MAKE) -C $$d $@; \
 	  if [ $$? -ne 0 ]; then exit 1; fi; \
@@ -38,6 +35,7 @@ clean:
 	    *.so *.opt *~ *.dll *.exe *.annot core); \
 	done
 	rm -f virt-df/virt-df
+	rm -f diskzip/diskzip
 
 distclean: clean
 	rm -f config.h config.log config.status configure
@@ -45,18 +43,6 @@ 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: