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.
---------------------------(end of broadcast)---------------------------
TIP 3: if posting/reading through Usenet, please send an appropriate
subscribe-nomail command to [EMAIL PROTECTED] so that your
message can get through to the mailing list cleanly
