Hi Dirk! You wrote:
> Did you ever try pretty-fying the pdf issue (your other bug report)? Should > we ask some TeX / fonts wizards? And / or maybe stop building the pdf again > and point to an external copy, or repackage it? I'm just thinking out loud > here ... Hmm, the problem seem to have went away in a recent build. The fonts I get in a local build are now the same as the fonts in the package. So, I'm guessing that the problem is being caused by a missing build-dependency on some TeX packages that includes the good fonts. -- Kind regards, +--------------------------------------------------------------------+ | Bas Zoetekouw | GPG key: 0644fab7 | |----------------------------| Fingerprint: c1f5 f24c d514 3fec 8bf6 | | [EMAIL PROTECTED], [EMAIL PROTECTED] | a2b1 2bae e41f 0644 fab7 | +--------------------------------------------------------------------+ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]