![](https://secure.gravatar.com/avatar/0646d707890c65d32c01e7956f6fbdea.jpg?s=120&d=mm&r=g)
21 Mar
2004
21 Mar
'04
12:15 a.m.
I think we should remove every single *ini* and *vir* name from the list of binaries.
Yes. TeX Live, teTeX and web2c go into this direction, so putting any work into this *ini* and *vir* names makes no sense. People can either use tools (like fmtutil) or cmd line options (like -ini). Thomas