Ftp server change.

diff --git a/tools/gendist b/tools/gendist
index 7a92ecbccd919f5c4e1bd20464df474bd1fdf149..f594d535d37e5af65854fa7258abdadc4abd8815 100755 (executable)
--- a/tools/gendist
+++ b/tools/gendist
@@ -32,6 +32,6 @@ echo -n "OK? "
 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...
+echo Uploading to Jana...
 scp $T/$REL.tar.gz $T/$DREL.tar.gz jana.gin.cz:~ftp/pub/bird/
 echo Done.