Received: from malur.postgresql.org ([217.196.149.56])
	by arkaria.postgresql.org with esmtps
 (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <pgsql-docs-owner+archive@lists.postgresql.org>)
	id 1jTtZm-00078u-Q4
	for pgsql-docs@arkaria.postgresql.org; Wed, 29 Apr 2020 20:45:02 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.92)
	(envelope-from <pgsql-docs-owner+archive@lists.postgresql.org>)
	id 1jTtZl-0003eY-MT
	for pgsql-docs@arkaria.postgresql.org; Wed, 29 Apr 2020 20:45:01 +0000
Received: from makus.postgresql.org ([2001:4800:3e1:1::229])
	by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1jTtZl-0003eL-Ha
	for pgsql-docs@lists.postgresql.org; Wed, 29 Apr 2020 20:45:01 +0000
Received: from sss.pgh.pa.us ([66.207.139.130])
	by makus.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1jTtZj-0005CP-Gx
	for pgsql-docs@lists.postgresql.org; Wed, 29 Apr 2020 20:45:00 +0000
Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1])
	by sss.pgh.pa.us (8.14.4/8.14.4) with ESMTP id 03TKiv6A030151;
	Wed, 29 Apr 2020 16:44:57 -0400
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Peter Eisentraut <peter.eisentraut@2ndquadrant.com>
cc: pgsql-docs@lists.postgresql.org
Subject: Re: Rendering pi more nicely in PDF
In-reply-to: <b5e5b392-fc00-c19c-2017-b9d88c701ac2@2ndquadrant.com>
References: <10598.1587928415@sss.pgh.pa.us>
 <f58a0973-6e06-65de-8fb8-b3b93518bc6e@2ndquadrant.com>
 <25118.1588190306@sss.pgh.pa.us>
 <b5e5b392-fc00-c19c-2017-b9d88c701ac2@2ndquadrant.com>
Comments: In-reply-to Peter Eisentraut <peter.eisentraut@2ndquadrant.com>
	message dated "Wed, 29 Apr 2020 22:28:22 +0200"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <30149.1588193097.1@sss.pgh.pa.us>
Date: Wed, 29 Apr 2020 16:44:57 -0400
Message-ID: <30150.1588193097@sss.pgh.pa.us>
List-Id: <pgsql-docs.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-docs@lists.postgresql.org>
List-Owner: <mailto:pgsql-docs-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-docs>
Precedence: bulk

Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> 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.

Ah.  Well, if it doesn't enlarge the file very much, I guess that'd
be fine.

			regards, tom lane