[PPL-devel] Ocaml docs being built even though interface is not enabled

Dear Developers,

In our Debian package we'd like to get rid of the ocaml depencency which crept in because of the use of ocamldoc, even though we use --enable-interfaces=c,cxx. Could you fix the Makefiles to also take care of that while building the documentation?

Thanks, Michael