#!/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: