Remove distprep

Peter Eisentraut <peter@eisentraut.org>

From: Peter Eisentraut <peter@eisentraut.org>

To: pgsql-hackers <pgsql-hackers@postgresql.org>

Date: 2023-06-09T09:10:14Z

Lists: pgsql-hackers

Attachments

v1-0001-Remove-distprep.patch (text/plain) patch v1-0001

Per discussion at the unconference[0], I started to write a patch that 
removes the make distprep target.  A more detailed explanation of the 
rationale is also in the patch.

It needs some polishing around the edges, but I wanted to put it out 
here to get things moving and avoid duplicate work.

One thing in particular that isn't clear right now is how "make world" 
should behave if the documentation tools are not found.  Maybe we should 
make a build option, like "--with-docs", to mirror the meson behavior.

[0]: 
https://wiki.postgresql.org/wiki/PgCon_2023_Developer_Unconference#Build_System

Commits

Fix make build on MinGW
- 58445651dbc6 17.0 landed
Stop generating plain-text INSTALL instructions.
- e2b73f4a4de6 17.0 landed
Remove distprep
- 721856ff24b3 17.0 landed