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