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

Shouldn't one add something like this?

I don't think so. This mess with ini- and vir- stuff is non-sense, look at what you found out as an evidence. I think we should remove every single *ini* and *vir* name from the list of binaries. Fabrice