Re: ci: Build standalone INSTALL file - Mailing list pgsql-hackers

From Andres Freund
Subject Re: ci: Build standalone INSTALL file
Date
Msg-id 20231221091757.difddgbds2mng25r@alap3.anarazel.de
Whole thread Raw
In response to Re: ci: Build standalone INSTALL file  (Michael Paquier <michael@paquier.xyz>)
Responses Re: ci: Build standalone INSTALL file
List pgsql-hackers
Hi,

On 2023-12-21 08:39:26 +0900, Michael Paquier wrote:
> On Wed, Dec 20, 2023 at 11:36:28AM -0500, Tom Lane wrote:
> > Andres Freund <andres@anarazel.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.)

Ah, right.  I don't really care what solution we go for, just that as long as
we have INSTALL, we should make sure we don't regularly break it... Both
Michael and I have in the last couple weeks.


> 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.

Are you going to submit a patch for that bit?

Greetings,

Andres Freund



pgsql-hackers by date:

Previous
From: Andres Freund
Date:
Subject: Re: ci: Build standalone INSTALL file
Next
From: Amit Kapila
Date:
Subject: Re: Function to get invalidation cause of a replication slot.