[NTG-pdftex] pdfinitex != pdftex --ini?

Thomas Esser te@dbs.uni-hannover.de
Sun, 21 Mar 2004 00:15:37 +0100

> 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).