[metapost] verbatimtex... etex after mpost 1.210

[Boguslaw Jackowski]

Hi,

Nicola:
>>> After thinking about it, I would suggest instead that the
>>> whitespace *on the same line* of *every* occurrence of verbatimtex be 
>>> removed, up to the first new-line (included) or to the first 
>>> non-space character (not included).

Taco:
>> Assuming there is agreement. It makes sense to me, but ...

Daniel:
> I am in agreement.  I cannot think of a situation where this
> would produce unintended behavior. Except for, perhaps,
> the case of a comment character, but it is actually unclear
> to me what a user might intend by that.

Agreed.

> Finally, if it turns out there are problems with the this
> proposal, it might then be useful to have a separate
> way to specify just the header line (or lines) of the TeX file.

Reasonable also (e.g., for overriding file settings from comand line).

Cheers -- Jacko

-- 
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
  Bogus\l{}aw Jackowski: B_Jackowski at GUST.ORG.PL
----------------------------------------------------------------
  Hofstadter's Law: It always takes longer than you expect, even
                    when you take into account Hofstadter's Law.
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-