On 15/07/2016 00:10, Santiago Vila wrote:
> I have the ok from the Release Managers to consider this issue as RC
> for stretch. I'm going to wait at least one week before raising
> this to "serious".
>
> If you need help to fix this bug, please tag it as "help".
Hello.
I am not sure I understand the issue. From the (partial) typescript,
it seems a make is attempted in the doc directory without a previous
make at the top level. This has never been supported: make should
be run in the top-level directory and it will recurse on the
subdirectories in the right order.
In addition, PPL 1.2 has been released more than 5 months
ago: IMHO it does not make much sense to use the previous
release for Stretch.
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:[email protected]
BUGSENG srl - http://bugseng.com
mailto:[email protected]
