do we still need ocamldot in the ocaml-tools package?

[Ralf Treinen <treinen@free.fr>]

Hello,

the ocamldot program is currently part of the ocaml-tools package.
For those of you who do not know it: it constructs a dependency graph
of modules in the dot format which can then be displayed by the
graphviz tools. This fucntionality is provided by ocamldoc since
some time (since vesion 3.05 of ocamldoc, according to the ocmaldot
home page). Invocation is slightly different, with ocamldot you would do

ocamldep *.ml | ocamldot > dep.dot

while with ocamldoc you need to have compiled the interfaces of the 
modules, and then you do an

ocamldoc -dot -o dep.dot *.ml

The graph layout seems to be slightly different too, but besides this
the fucntionalities are the same as far a I can see. Hence, I plan to
drop ocamldot from the next uplaod of ocaml-tools. Are there any
objections?

-Ralf.