Re: INSTALL file

Hi,

On 2019-03-21 22:06:36 +0400, David Steele wrote:
> On 2/15/19 11:59 AM, Peter Eisentraut wrote:
> > On 14/02/2019 20:13, Andres Freund wrote:
> > > On 2019-02-04 11:02:44 +0900, Michael Paquier wrote:
> > > > +1. I have just looked at the patch, and my take is that listing all
> > > > the ways to build Postgres directly in the README is just a
> > > > duplication of what we already have in the documentation. So I would
> > > > just rip out all that and keep a simple link to the documentation.
> > >
> > > Well, the documentation cannot be built without the dependencies, and
> > > not everyone has convenient internet access. I'm not sure what the
> > > solution to that is, but somehow consolidating that information in the,
> > > by now pretty standardized, location of INSTALL seems pretty reasonable
> > > to me.
> >
> > (I suppose you meant README here. The information is already in INSTALL.)
> >
> > But the proposed additions don't actually mention the required
> > dependencies to build the documentation, so it wouldn't even achieve
> > that goal.
> >
> > And if you don't have internet access, how did you get the git checkout?
> >
> > The use case here seems pretty narrow.
>
> Any thoughts on Peter and Andres' comments?

Given nothing happened since then I think we ought to mark this as
returned with feedback? Will do so tomorrow.

Greetings,

Andres Freund