Peter Eisentraut <peter.eisentr...@2ndquadrant.com> writes:
> On 2020-04-26 21:13, Tom Lane wrote:
>> "π" renders poorly in our PDF docs: as shown in the attached
>> screenshot, it doesn't line up on the baseline.
> The real problem here is that the default font (Times or Times New
> Roman) embedded in PDF readers doesn't have these off-the-beaten-path
> glyphs. I'm surprised you see anything at all.
Well, I do ...
> My proposal is to use the DejaVu fonts, which are open source and easily
> available for common operating systems. (Arguably, they also give the
> documentation a slightly fresher look.)
> The attached patch implements this. You just have to install the fonts
> somehow. Red Hat and Debian should have packages for this. We should
> write instructions for this in any case.
I think making the built documentation depend on nonstandard fonts
is a truly awful idea. It'd be okay perhaps if the requirement only
applied to people building the docs, but won't the requirement also
flow through to end users?
regards, tom lane
