tools/update web site

   1 #!/bin/bash
   2
   3 if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi
   4
   5 cd "${0%/*}"
   6 cd ..
   7
   8 rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/svjatoslav_commons/
   9
  10 echo
  11 echo "Press ENTER to close this terminal"
  12 read