#!/bin/bash
curdir=$(pwd)
prefix=/usr
exec_prefix=/usr
libdir=/usr/lib
datadir=/usr/share
cd ${datadir}/techne
${libdir}/techne/techne.bin $*
cd ${curdir}
