Hi, I haven't touched things for a while but it was needed to convert platex DVI output (extended charset) to jlatex-compatible DVI file (that uses a 8-bit compatible charset), which was pretty much everything.
If UTF-8 compatible latex is useful everywhere and we can remove platex then maybe one day we can remove this. On Mon, 19 May 2025 07:19:00 +0900, Hilmar Preusse wrote: > > [1 <text/plain; us-ascii (quoted-printable)>] > On 18.08.07 Junichi Uekawa ([email protected]) wrote: > > Hello Junichi, > > > Installing both of dvi2ps-fontdata-{a2n,n2a} will result in dvipdfmx > > and other tools going into a recursive loop (because both of them > > refer to each other). > > > > They should either > > > > 1. conflict with each other > > > > 2. have the priorities lowered (how?) > > > > In #857404 I thought about merging all the binary packages, which are > created out of [1] into one. Now after reading this bug report this sounds > like a bad idea. > > General question: is that dvi2ps* still heavily used or is this software > already reaplced by something different? > > Hilmar > > [1] https://tracker.debian.org/pkg/dvi2ps-fontdata > [2 signature.asc <application/pgp-signature (7bit)>] > No public key for 01E8F8466FF12C30 created at 2025-05-19T07:18:58+0900 using > DSA
