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

Akira Kakuto kakuto at fsci.fuk.kindai.ac.jp
Tue Feb 20 14:53:24 CET 2007

Hi Frank,

> there are two TeX formats that use the name "platex", the Japanese ptex
> project as well as PLaTeX, a LaTeX with preloaded polish settings and
> fonts.  Debian GNU/Linux now has packages for both, but they cannot be
> installed and used at the same time: Both use a symlink platex (once to
> ptex, once to pdftex), and both want to load platex.fmt.
> Even on single-user-systems people might want to have installed both
> (polish scientists working about Japan, or the other way round), but on
> large multi-user installations (e.g. at universities) it might be even
> more needed.
> What do you think about that?  Should both rename their formats?  

I think platex by ASCII corp. is too famous and too prevailing in
Japan to rename into the other name.
I understand the situation may be the same for Polish platex.
I have no idea.


More information about the tex-live mailing list