Michael Paquier <mich...@paquier.xyz> writes: > On Thu, Dec 21, 2023 at 02:22:02PM -0500, Tom Lane wrote: >> Here's a draft patch for this. Most of it is mechanical removal of >> infrastructure for building the INSTALL file. If anyone wants to >> bikeshed on the new wording of README, feel free.
> Thanks for putting this together. That looks reasonable. Thanks for checking it. Pushed --- we can tweak things later if we decide the web-redirect idea is superior to this. regards, tom lane