X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=Makefile.in;h=03a00fba50fc18e56c0a1b318d4ab9d3325cb70c;hp=1b6721f02ee227d72bb07a698d3dc400087ed2d4;hb=a0c427833305fc543c6bc0f34cffc3197f3d3761;hpb=159e16043bbadc056b6ae193ddf3d31be2810e39

diff --git a/Makefile.in b/Makefile.in
index 1b6721f..03a00fb 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -25,11 +25,10 @@ datarootdir	= @datarootdir@
 mandir		= @mandir@
 
 OCAMLDOCFLAGS	= -html -sort \
-		  -package bitstring.syntax,extlib,libvirt,gettext,xml-light \
-		  -I lib \
-		  -syntax bitstring.syntax
+		  -package bitstring,extlib,libvirt,gettext,xml-light \
+		  -I lib
 OCAMLDOC	= @OCAMLDOC@
-OCAMLDOCFILES	= $(wildcard lib/*.ml) $(wildcard lib/*.mli)
+OCAMLDOCFILES	= $(wildcard lib/virt_*.mli) lib/kernel.mli
 
 HAVE_PERLDOC    = @HAVE_PERLDOC@
 
@@ -46,7 +45,9 @@ endif
 
 TARGETS		= $(MANPAGES) $(TEXTMANPAGES)
 
-all: $(TARGETS)
+all: byte opt
+
+byte opt: $(TARGETS)
 	for d in $(SUBDIRS_NOT_PO); do \
 	  $(MAKE) -C $$d $@; \
 	  if [ $$? -ne 0 ]; then exit 1; fi; \
@@ -69,6 +70,7 @@ clean:
 	  (cd $$d; rm -f *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a \
 	    *.so *.opt *~ *.dll *.exe *.annot core); \
 	done
+	rm -f lib/test_mmap
 	rm -f uname/virt-uname
 	rm -f dmesg/virt-dmesg
 	rm -f ps/virt-ps