25 Mar
2003
25 Mar
'03
10:35 a.m.
Tuesday, March 25, 2003 Gary Pajer wrote:
Ok, but in the mean time how is one supposed to include MetaPost output without having to rename the files?
GP> I've tried to resist, but I have to ask. Why not write a simple batch file GP> that runs MetaPost *and* changes the extension? That's what I do. ... Are GP> you processing several MP scripts in one file ?? Oh, I can do many things. And I don't even *need* it --it's just for testing purpouses, not for production stuff-- but why use a workaround when the problem can be fixed? -- Giuseppe "Oblomov" Bilotta