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

[Michael Tautschnig]

> Michael Tautschnig wrote:
>> 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?
>
> Dear Michael,
>
> I think that your problem is due to the fact thatyou are doing `make world'
> in the `doc' subdirectory.  I have already advised against this in
>
>   http://www.cs.unipr.it/pipermail/ppl-devel/2008-September/012829.html
>
> The point is that `make world' really means "make world" and the world
> includes the documentation of the OCaml interface.
> In case this is not the source of the problem you are observing,
> please give me more information to reproduce it.
> All the best,
>

Oh, yes, I see. So I guess we should build devref-configured and user-configured
instead.

Thanks,
Michael