Michael Paquier <[email protected]> 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
