Hi, On 2023-11-17 15:49:52 -0500, Tom Lane wrote: > Andres Freund <and...@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