Re: Remove distprep

[Peter Eisentraut]

On 06.10.23 20:50, Andres Freund wrote:

The only thing I wonder is whether we ought to keep a maintainer-clean target (as an alias to distclean), so that extensions that added things to maintainer-clean continue to work.

The patch does do that.