[tex-k] File name extension of MAP file fragments

[Peter Dyballa]

Am 14.06.2011 um 22:27 schrieb Reinhard Kotucha:

> This way you can simply grep for your name.  I think that this is a
> more desirable solution than the extension magic.


OK! This is a fine solution.

--
Mit friedvollen Grüßen

   Pete

Maske: Der einzige Teil des Gesichts, den sich der Mensch selbst  
aussucht.
				(Gabriel Laub)