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

Frank Küster frank at debian.org
Tue Feb 20 13:10:11 CET 2007

Dear fellow TeX developers,

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?  

TIA, 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