cronjob.sh revision d0c2078d146875771569c8c3ba5690389610b35f
export PATH
export MAKE
export HETS_LIB
. ../cronjob.sh
# install hets binary
# copy matching version for hets.cgi
# make latex documentation
# create some result files
cd Basic
cd ..
cd ../..
fgrep \*\*\* ../../../isaHC2.log
cd ../..
# try out other binaries
# build user guide
cd ..
# move docs and release sources to destination
# more tests in HetCATS
# build and install locally hets.cgi
cd ../../../HetCATS
cd ..
# pack CASL-lib for cofi at fixed location
cd ..
# repack putting docs into sources on www server
cd $destdir
\rm -f HetCATS.tar.gz
# a few more tests
cd $HETS_LIB