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.
regards, tom lane