cronjob.sh revision 4fba76cc76423d5a44c7a44dc42c428b199f6637
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