rk_name="lirk3"
rk_fullname="Linux Release Kit for Greenstone3"
RK_HOME=$LIRK3_HOME
source $LIRK3_HOME/linux/rk

echo "O---------------------------------------O"
echo "|                                       |"
echo "|   LiRK3                               |"
echo "|   Linux Release Kit for Greenstone3   |"
echo "|                                       |"
echo "O---------------------------------------O"


#run the command
$toexec