rk_name="cdrk2"
rk_fullname="CD Release Kit for Greenstone2"
RK_HOME=$CDRK2_HOME
source $CDRK2_HOME/linux/rk

echo "O---------------------------------------O"
echo "|                                       |"
echo "|   cdrk2                               |"
echo "|   CD Release Kit for Greenstone2      |"
echo "|                                       |"
echo "O---------------------------------------O"


#run the command
$toexec 2>&1 | tee cdrk2.out