Re: ci: Build standalone INSTALL file

On Wed, Dec 20, 2023 at 11:36:28AM -0500, Tom Lane wrote:
> Andres Freund <andres(at)anarazel(dot)de> writes:
>> We fairly regularly have commits breaking the generation of INSTALL. IIRC we
>> recently discussed building it locally unconditionally, but I couldn't
>> immediately find that discussion. Until then, I think we should at least
>> build it in CI so that cfbot can warn.
>
> I thought the plan was to get rid of that file, in pursuit of making
> our distribution tarballs be more or less pure git pulls. Instead of
> expending more effort on it, why not just push that project forward?
> (IIRC, what we intended to do instead was to modify the top-level
> README to point at the HTML install directions on the web.)

Hmm. It depends on if the next release should include it or not, but
let me add my +1 for replacing it with a simple redirect.
--
Michael