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.
regards, tom lane