(and it looks _a lot_ better now) L
On Mon, Mar 7, 2022 at 8:08 AM Luca Fascione <l.fasci...@gmail.com> wrote: > I was wondering how to do exactly this actually :-) > Thanks Werner! > > L > > On Mon, 7 Mar 2022, 08:06 Werner LEMBERG, <w...@gnu.org> wrote: > >> >> > https://www.cs.utexas.edu/ftp/garbage/submit/notready/schintro.ps >> > >> > [...] and the rendering is not great. >> >> Attached you can find a PDF version of `schintro.ps` that replaces all >> bitmap fonts in the above documents with real outline fonts. The >> corresponding script to do the conversion was >> >> ``` >> pkfix-helper \ >> --verbose \ >> --verbose \ >> --ps=schintro-bitmaps-before.ps \ >> --tex=schintro-bitmaps-after.tex \ >> --force Fh="cmbx12 @ 1.095X" \ >> --force Fj="cmsl10 @ 1.095X" \ >> --force Ff="cmtt12 @ 1.095X" \ >> --force Fg="cmr7" \ >> --force Fa="cmmi12 @ 1.2X" \ >> --force Fb="cmmi9" \ >> --force Fi="cmmi10 @ 1.095X" \ >> schintro.ps \ >> fix1.ps \ >> &> schintro-bitmaps.pkfix-helper.log \ >> && pkfix fix1.ps fix2.ps \ >> && ps2pdf fix2.ps schintro.pdf >> >> rm -f fix1.ps fix2.ps >> ``` >> >> (The used programs are part of TeXLive.) >> >> >> Werner >> >
