Hi,
On 2023-11-17 13:23:54 -0800, Andres Freund wrote:
> On 2023-11-17 15:49:52 -0500, Tom Lane wrote:
> > Andres Freund <andres(at)anarazel(dot)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.
Pushed the fix.
Greetings,
Andres Freund