Merge

[virt-mem.git] / Make.rules.in

diff --git a/Make.rules.in b/Make.rules.in
index 0ce95e2..e570048 100644 (file)
--- a/Make.rules.in
+++ b/Make.rules.in
@@ -23,9 +23,6 @@ OCAMLDEP      = @OCAMLDEP@
 OCAMLC         = @OCAMLC@
 OCAMLOPT       = @OCAMLOPT@
 
-OCAMLDOC        = @OCAMLDOC@
-OCAMLDOCFLAGS  += -html -sort
-
 # Common rules for building OCaml objects.
 
 .mli.cmi:
@@ -33,6 +30,7 @@ OCAMLDOCFLAGS += -html -sort
 .ml.cmo:
        $(OCAMLFIND) ocamlc $(OCAMLCFLAGS) $(OCAMLCPACKAGES) -c $<
 .ml.cmx:
+       ulimit -s unlimited ||: ; \
        $(OCAMLFIND) ocamlopt $(OCAMLOPTFLAGS) $(OCAMLOPTPACKAGES) -c $<
 
 %.ml %.mli: %.mly
@@ -52,17 +50,6 @@ ifeq ($(wildcard .depend),.depend)
 include .depend
 endif
 
-# Developer documentation (in html/ subdirectory).
-
-ifneq ($(OCAMLDOC),)
-ifneq ($(OCAMLDOCFILES),)
-doc:
-       rm -rf html
-       mkdir html
-       -$(OCAMLDOC) $(OCAMLDOCFLAGS) -d html $(OCAMLDOCFILES)
-endif
-endif
-
 .PHONY: depend dist check-manifest dpkg doc
 
 .SUFFIXES:      .cmo .cmi .cmx .ml .mli .mll .mly