Re: [tex-live] Conflicting binary/format names: platex is polish and japanese
Dear colleagues,
please keep all involved parties in the Cc line!
"Vedran Miletić" <rivanvx@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)
Reply to: