Bug#480725: [dev-context] (fwd) Bug#480725: mptopdf does not work with beginfig(-1)

2019-01-28 Thread Hilmar Preuße
tags 480725 - patch
stop

On 15.05.08 09:49, Taco Hoekwater wrote:
> Norbert Preining wrote:

Dear Taco,

>> forwarded 480725 dev-cont...@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 issue reported in https://bugs.debian.org/480725 is nevertheless
still present and reproducible. When pasting the following content into
a file called input.mp and calling "mptopdf input.mp" no pdf file is
created, just the intermediate ps file.

This needs to be handled.

> The patch would have to be a bit elaborated on before inclusion
> can be considered, I believe. A random file named .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).
> 
As you did not accept the patch, I remove the tag "patch" from our issue
for now.

Hilmar
-- 
sigfault
#206401 http://counter.li.org



signature.asc
Description: OpenPGP digital signature


Bug#480725: [dev-context] (fwd) Bug#480725: mptopdf does not work with beginfig(-1)

2008-05-15 Thread Taco Hoekwater


Hi Norbert,

Norbert Preining wrote:

forwarded 480725 [EMAIL PROTECTED]
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



--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]