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

[Michael Tautschnig]

Hi!

>>
>> Not exact, but sufficiently close I think:
>>
>> make distclean
>> ./configure
>> make
>> make -C doc user-configured
>> make install
>>
>> From what you're telling I believe the problem to be in the make distclean step.
>> I guess it deletes any pre-built docs as well. Well, not a guess only, just
>> confirmed in my build here.
>>
>> So, what should we conclude with? There's two options here IMHO:
>>
>> - Have make distclean not delete any pre-built documentation. Consequently, make
>>   dist should then actually build the documents to ensure that make dist always
>>   ends up with the same tar ball.
>> - In our debian package, we could first move the pre-built docs to a safe
>>   location, and put them in place after make distclean.
>>
>> What would you consider the preferred way?
>>
>> Best,
>> Michael
>>
>
> I was able to reproduce the problem
> and today I will try to implement the solution.
>
> Actually, we have two problems: one is the one you are mentioning,  
> another one is basically related to what is said in Section 27.5 of the  
> automake manual (Files left in build directory after distclean). We have  
> a couple of these bad dependencies of a distributed built file from a  
> non-distributed built file.
>

Is this issue fixed in the pre36 upload? If so, how did you fix it, or rather:
Which steps should I take in the Debian package?

Thanks,
Michael