Rewrite manual page.
[virt-df.git] / Makefile.in
index 1ebe823..caf7775 100644 (file)
@@ -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: