[tex-live] [www-ptex 163999] Conflicting binary/format names: platex is polish and japanese

Karl Berry karl at freefriends.org
Wed Feb 21 22:51:18 CET 2007


    there won't be problems with TeX Live adopting it. 

Well, TeX Live will follow whatever Staszek wants to do :).

Staszek, are you really proposing to rename Polish platex?

Does the name conflict really cause problems in practice?



More information about the tex-live mailing list