Hi Norbert, Norbert Preining wrote:
forwarded 480725 dev-context@ntg.nl thanks Dear Hans, dear Taco, on the Debian side we got the attached bug report together with a patch for mptopdf.pl. Can you comment on it, or consider it for inclusion?
The patch would have to be a bit elaborated on before inclusion can be considered, I believe. A random file named <whatever>.ps is highly likely not to be metapost output at all. The extra functionality would be cool to have, but mptopdf had better check if the .ps really was created by metapost (by grepping for the %%Creator comment). Best wishes, Taco