Quoting Ralf Treinen <treinen@club-internet.fr>: > Yes, ocaml-tools would be the place for this. However, the ocaml-tools > package contains already Markus Mottl's ocaml-make, and > configure.in/Makefile.in by Jean-Christophe Filliatre. If you want > to add something to this package (you are an Uploader of this > package) then I suggest that you send a message to this list > first such that we can discuss. Of course! -- Jérôme Marant