Hi,
On 2023-11-17 15:49:52 -0500, Tom Lane wrote:
> 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=guaibasaurus&dt=2023-11-17%2020%3A20%3A03
> We have a mechanism for supplying alternate text for INSTALL, IIRC.
Gah, will look at it.
Greetings,
Andres Freund