[metapost] shipout filenames

[Taco Hoekwater]

Hi Larry,

Larry Siebenmann wrote:
> 
>  > If you are not pleased with <jobname>.<number> nor
>  > <jobname>.ps, you are (currently) out of luck as far as the
>  > metapost executable is concerned. There is simply no way to
>  > name files from within the language.
> 
> But that could very easily be changed.

Fairly easy, yes.

> You can quote me:) Perhaps easily eliminated misfeatures
> should have fairly high priority.

I do not actually disagree, but my days have only 24 hours,
and there is lots and lots of stuff to do.

>  > I am not very familiar with the Mac, but I assume you can
>  > write out some magic text using "special" to print the
>  > intended name into the output file, and then use a wrapper
>  > script to rename automatically rename it to the included
>  > desired name.
> 
> OK, but each such a solution has about the same manhour
> cost as a universally valid extension of mp.

Of course. But those whould not be MY manhours :-)

Greetings, Taco