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