Doug Barton b1c2ec1745 Vastly improve handling of moved ports: ... 1. Update DEPORIGIN in addition to @pkgdep entries in +CONTENTS 2. Give more details about why a port moved 3. grep for the old port name in existing +CONTENTS files, since the new name will not appear at all Also, stretch the window to wait for a background 'make checksum' to complete to 5 seconds instead of 3		2006-05-29 10:12:31 +00:00
..
files	Vastly improve handling of moved ports:	2006-05-29 10:12:31 +00:00
Makefile	Vastly improve handling of moved ports:	2006-05-29 10:12:31 +00:00
pkg-descr