[tex-live] Conflicting binary/format names: platex is polish and japanese
frank at kuesterei.ch
Tue Feb 20 15:04:59 CET 2007
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
>>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.
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