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:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagn...@bugseng.com