Change of ftp servers.

diff --git a/tools/gendist b/tools/gendist
index 39d5e15f4091cbc2e688ef079962c5053ee006e3..7a92ecbccd919f5c4e1bd20464df474bd1fdf149 100755 (executable)
--- a/tools/gendist
+++ b/tools/gendist
@@ -33,5 +33,5 @@ read OK
 echo Uploading to Atrey...
 scp $T/$REL.tar.gz $T/$DREL.tar.gz atrey.karlin.mff.cuni.cz:~ftp/pub/bird/
 echo Uploading to Regina...
-scp $T/$REL.tar.gz $T/$DREL.tar.gz regina.gin.cz:~ftp/pub/bird/
+scp $T/$REL.tar.gz $T/$DREL.tar.gz jana.gin.cz:~ftp/pub/bird/
 echo Done.