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

Frank Küster frank at kuesterei.ch
Tue Feb 20 15:04:59 CET 2007

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)

More information about the tex-live mailing list