K 10
svn:author
V 7
andreas
K 8
svn:date
V 27
1996-07-27T11:54:30.000000Z
K 7
svn:log
V 186
Fixed bug, that CONFIGURE_SCRIPT in a port's Makefile doesn't have
any effect. The target do-configure used ${SCRIPTDIR}/configure
instead of ${SCRIPTDIR}/${CONFIGURE_SCRIPT}.
	-andreas

END