Received: from malur.postgresql.org ([217.196.149.56])
	by arkaria.postgresql.org with esmtps  (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
	(Exim 4.94.2)
	(envelope-from <pgsql-committers-owner+archive@lists.postgresql.org>)
	id 1r45mu-007Jbz-21
	for pgsql-committers@arkaria.postgresql.org; Fri, 17 Nov 2023 20:50:04 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.94.2)
	(envelope-from <pgsql-committers-owner+archive@lists.postgresql.org>)
	id 1r45ms-00FsY6-IR
	for pgsql-committers@arkaria.postgresql.org; Fri, 17 Nov 2023 20:50:02 +0000
Received: from makus.postgresql.org ([2001:4800:3e1:1::229])
	by malur.postgresql.org with esmtps  (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
	(Exim 4.94.2)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1r45ms-00FsVy-B4
	for pgsql-committers@lists.postgresql.org; Fri, 17 Nov 2023 20:50:02 +0000
Received: from sss.pgh.pa.us ([68.162.161.243])
	by makus.postgresql.org with esmtps  (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
	(Exim 4.94.2)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1r45ml-0064Ht-GZ
	for pgsql-committers@lists.postgresql.org; Fri, 17 Nov 2023 20:50:01 +0000
Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1])
	by sss.pgh.pa.us (8.15.2/8.15.2) with ESMTP id 3AHKnqnZ795076;
	Fri, 17 Nov 2023 15:49:52 -0500
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Andres Freund <andres@anarazel.de>
cc: pgsql-committers@lists.postgresql.org
Subject: Re: pgsql: docs: Document --with-selinux/-Dselinux options centrally
In-reply-to: <E1r43Yv-005v9l-3g@gemulon.postgresql.org>
References: <E1r43Yv-005v9l-3g@gemulon.postgresql.org>
Comments: In-reply-to Andres Freund <andres@anarazel.de>
	message dated "Fri, 17 Nov 2023 18:27:29 +0000"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <795074.1700254192.1@sss.pgh.pa.us>
Content-Transfer-Encoding: quoted-printable
Date: Fri, 17 Nov 2023 15:49:52 -0500
Message-ID: <795075.1700254192@sss.pgh.pa.us>
List-Id: <pgsql-committers.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-committers@lists.postgresql.org>
List-Owner: <mailto:pgsql-committers-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-committers>
Archived-At: 
 <https://www.postgresql.org/message-id/795075.1700254192%40sss.pgh.pa.us>
Precedence: bulk

Andres Freund <andres@anarazel.de> writes:
> docs: Document --with-selinux/-Dselinux options centrally

This appears to have broken building the INSTALL file:

https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=3Dguaibasaurus&dt=3D=
2023-11-17%2020%3A20%3A03

We have a mechanism for supplying alternate text for INSTALL, IIRC.

			regards, tom lane