[EXT] Embedded fonts

Karl Berry karl at freefriends.org
Sat Jan 25 23:27:59 CET 2020

Herbert, it seems your reply did not go to the sender, unless you
explicitly wrote him separately. I'll resend it.

Meanwhile, for the record:
    After running:
    pdftops ...
    Now run ps2pdf xyz.ps

As far as I've seen, it is not necessary to run pdftops first. Despite
the name, ps2pdf is happy to read pdf files. -k

More information about the texhax mailing list