#!/usr/bin/csh # Tar and compress an external distribution of wxTab set init= if ( $1 == "" ) then goto usage endif if ( $2 == "" ) then goto usage endif echo About to tar wxCLIPS distribution... echo From $1 echo To $2/wxtab.tar.gz echo CTRL-C if this is not correct. set dummy=$< /bin/rm -f $2/wxtab.tar.gz cd $1/utils tar cvf $2/wxtab.tar `cat $1/distrib/wxtab.rsp` echo Compressing... gzip $2/wxtab.tar echo echo wxTab archived. goto end usage: echo Make external wxTab distribution in gzipped format. echo Makes wxtab.tar.gz. echo Usage: tartab source destination echo e.g. tartab ~/wx ~/wx/utils/wxtab/deliver end: