Conflicting binary/format names: platex is polish and japanese
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)
Reply to: