mpsproof fails in TeXLive 2023.

"Daniel H. Luecking" <[email protected]> Sat, 8 Apr 2023 22:15:50 +0000
Newsgroups gmane.comp.tex.metapost
Message-ID <SN6PR04MB4144975AC6B2BC02F7138081B9979@SN6PR04MB4144.namprd04.prod.outlook.com>
--===============5638289021317850075==
Content-Language: en-US
Content-Type: multipart/alternative;
	boundary="_000_SN6PR04MB4144975AC6B2BC02F7138081B9979SN6PR04MB4144namp_"

--_000_SN6PR04MB4144975AC6B2BC02F7138081B9979SN6PR04MB4144namp_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

After updating to TeXLive 2023 the command

   pdftex mpsproof pic.mps

failed, because TL2023 apparently lacks the file supp-pdf.tex.
To repair this problem, the line

   \input supp-pdf

in mpsproof.tex needs to be replaced with

   \input supp-pdf.mkii

I am the creator of mpsproof, but I placed it in the public domain so anyon=
e is free to make this change to their own copy.

Also, because supp-pdf.mkii is provided by context, and perhaps not every T=
eX system contains context, this file should probably be included in the me=
tapost distribution alongside mpsproof.tex (or better, included with the gr=
aphics-def package because pdftex.def also needs it). I am not a lawyer, bu=
t I believe the context license permits this.

Cheers,
Dan

Daniel H. Luecking [[email protected]]
Department of Mathematical Sciences
1 University of Arkansas
Fayetteville, AR, USA 72701-1201

--_000_SN6PR04MB4144975AC6B2BC02F7138081B9979SN6PR04MB4144namp_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
After updating to TeXLive 2023 the command</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
<br>
</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
&nbsp;&nbsp; pdftex mpsproof pic.mps</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
<br>
</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof ContentPasted0">
failed, because TL2023 apparently lacks the file supp-pdf.tex.</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
To repair this problem, the line</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
<br>
</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
&nbsp;&nbsp; \input supp-pdf</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
<br>
</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
in mpsproof.tex needs to be replaced with</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
<br>
</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof">
&nbsp;&nbsp; \input supp-pdf.mkii</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof ContentPasted1">
<br>
</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof ContentPasted1">
I am the creator of mpsproof, but I placed it in the public domain so anyon=
e is free to make this change to their own copy.</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class=3D"e=
lementToProof ContentPasted1">
<br>
</div>
<div class=3D"elementToProof">
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
Also, because supp-pdf.mkii is provided by context, and perhaps not every T=
eX system contains context, this file should probably be included in the me=
tapost distribution alongside mpsproof.tex (or better, included with the gr=
aphics-def package because pdftex.def
 also needs it). I am not a lawyer, but I believe the context license permi=
ts this.</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
Cheers,</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
Dan<br>
</div>
<div style=3D"font-family: &quot;Courier New&quot;, monospace; font-size: 1=
2pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<br>
</div>
<div id=3D"Signature">
<div>
<div name=3D"divtagdefaultwrapper" style=3D"font-family:Calibri,Arial,Helve=
tica,sans-serif; font-size:; margin:0">
<div style=3D"font-family:Tahoma; font-size:13px">
<div style=3D"font-family:Tahoma; font-size:13px">
<div style=3D"font-family:Tahoma; font-size:13px">
<div style=3D"font-family:Tahoma; font-size:13px">
<div style=3D"font-family:Tahoma; font-size:13px">
<div style=3D"font-family:Tahoma; font-size:13px"><font size=3D"3" face=3D"=
Courier New">Daniel H. Luecking [[email protected]]
<br>
Department of Mathematical Sciences<br>
1 University of Arkansas<br>
Fayetteville, AR, USA 72701-1201</font><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>

--_000_SN6PR04MB4144975AC6B2BC02F7138081B9979SN6PR04MB4144namp_--

--===============5638289021317850075==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

--
http://tug.org/metapost/
--===============5638289021317850075==--