[metapost] Re: Request: Filename extension for MetaPost output

[Boguslaw Jackowski]

Hi,

Brooks Moses:
> A common gripe with MetaPost is that it produces output files that end in 
> ..1, .2, and so forth.
[...]
> The interface to this could be implemented in a couple of ways.

Why not to follow Ghostscript convention (following C convention ;-)
allowing for any (from a practical point of view) format of the output
file name? For example, one could invoke METAPOST as follows
    mpost a_name.mp -oanother_name%02d.eps
in order to produce output
    another_name01.eps
    another_name02.eps
    another_name03.eps
    ...

Cheers -- Jacko

-- 
BOP s. c.
ul. Bora-Komorowskiego 24, 80-377 Gdansk, Poland
tel. (+48 58) 553 46 59,  fax (+48 58) 511 03 81
bop at bop.com.pl, http://www.bop.com.pl