<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 9 Apr 2023 at 23:54, Karl Berry <<a href="mailto:karl@freefriends.org">karl@freefriends.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Daniel,<br>
<br>
    in mpsproof.tex needs to be replaced with<br>
       \input supp-pdf.mkii<br>
<br>
Thanks for the report. I committed the change to mpsproof.tex in TL.<br>
(Luigi, please do it in your upstream, too.)<br>
<br></blockquote><div><br></div><div>Done.</div><div><br></div><div>--</div><div>luigi</div></div></div>