cb4055cc3af69318bf29f7a6a8c6a8470711c906Till Mossakowski#change daily snapshot into a backup or release
cb4055cc3af69318bf29f7a6a8c6a8470711c906Till Mossakowski#the first argument should be a version number or a date
89390a303afa9ca380fc9b878cffdd88667fdd25Christian MaederINSTALLDIR=/home/www/agbkb/forschung/formal_methods/CoFI/hets
099a7b3d3d666a3789b50465908ec9b1721c34edChristian Maederif [ -z "$1" ] ; then
(cd $INSTALLDIR/src-distribution; \