![](https://secure.gravatar.com/avatar/d8110a8a8a97be0803549ea5ee2e638b.jpg?s=120&d=mm&r=g)
22 Jul
2005
22 Jul
'05
3:36 a.m.
On 2005-07-22 09:22:03 +0200, Hans Hagen wrote:
ah .. clever .. typical an 'error' one can spend hours to uncover; looks like a design flaw to choose '*' for this. how about an --etex switch that acts as synonym for this *
Seems useful. -> Olaf Best Martin -- http://www.tm.oneiros.de