On 2020-04-29 21:58, Tom Lane wrote:
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?
No, the font is embedded into the built PDF. -- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
