Le 12/11/2018 à 13:54, Mathieu Malaterre a écrit : > It should be possible to tweak the package to remove the following > from mh_make on user side:
Hi Mathieu, Looking at the log I fail to understand the issue. Could you be more specific on the behavior you expect and why? Emmanuel Bourg
