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

[Frank Küster]

Dear colleagues,

please keep all involved parties in the Cc line!


"Vedran Miletić" <rivanvx at gmail.com> wrote:

> While PLaTeX certainly makes sense for a polish latex, I can't see how
> is it a must-be-named-that-way for a Japanese language TeX-related
> project.
>>From what I see, the name of the project is Publishing TeX. Abreviated
> as publtex (or something else, I just made that up because apparently
> ptex, putex and pubtex are already used), it would still be OK.
> Perhaps we should ask just them to rename their format?

Thank you, I was not even able to figure out the meaning of ptex.

Regards, Frank

-- 
Dr. Frank Küster
Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich
Debian Developer (teTeX/TeXLive)