K 10
svn:author
V 5
asami
K 8
svn:date
V 27
1996-09-24T06:48:22.000000Z
K 7
svn:log
V 113
Back out changes in rev. 1.217 -- ${CONFIGURE_SCRIPT} is not
meant to rename the name of script in ${SCRIPTDIR}.

END