#! /bin/sh
#
#        gtcat
#
if ( test $GTTMPDIR ) then
	cat $* > $GTTMPDIR/gtool.out
else
	cat $* > gtool.out
fi
