Satoshi Asami 251d6f360e Back out changes in rev. 1.217 -- ${CONFIGURE_SCRIPT} is not
meant to rename the name of script in ${SCRIPTDIR}.
1996-09-24 06:48:22 +00:00
..
1996-09-03 15:14:45 +00:00
1996-09-03 15:14:45 +00:00
1996-06-02 17:04:08 +00:00