On 2023-11-21 Tu 13:23, Tom Lane wrote:
Alvaro Herrera <alvhe...@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
