Hi Norbert,
Norbert Preining wrote:
> forwarded 480725 dev-context@???
> 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
_______________________________________________
dev-context mailing list
dev-context@???
http://www.ntg.nl/mailman/listinfo/dev-context
