#!/bin/bash
export rk_name="lirk3"
export rk_fullname="Linux Release Kit for Greenstone3"
export RK_HOME=$LIRK3_HOME
$LIRK3_HOME/linux/rk $*