Re: Remove distprep

On 2023-11-21 Tu 13:23, Tom Lane wrote:
> Alvaro Herrera <alvherre@alvh.no-ip.org> writes:
>> Hmm, do we still need to have README.git as a separate file from README?
>> Also, looking at README, I see it refers to the INSTALL file in the
>> root, but that doesn't exist.  "make -C doc/src/sgml INSTALL" creates
>> it, but it's not copied to the root directory.  Do we need some fixup
>> for that?
> Yeah, we clearly need to rethink this area if the plan is that tarballs
> will be pristine git pulls.  I think we want just README at the top
> level, and I propose we give up on the text INSTALL file altogether
> (thereby removing a documentation build gotcha that catches people
> every so often).  I propose that in 2023 it ought to be sufficient
> for the README file to point at build instructions on the web.
>
>             


+1


cheers


andrew

--
Andrew Dunstan
EDB: https://www.enterprisedb.com