Tom Lane wrote:> This gmake will leave some crud files that you don't want in the> distro. Instead of 'cp' I'd suggest> mv -f HISTORY INSTALL ../../..> gmake clean
The "make dist" step will do its own cleaning.