tools/update web site

   1 #!/bin/bash
   2 cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi
   3
   4 cd ..
   5
   6 mvn clean package
   7
   8 # rm -rf doc/apidocs/
   9 # cp -r target/apidocs/ doc/
  10
  11 rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/sixth-data/
  12
  13 echo ""
  14 echo "Press ENTER to close this window."
  15 read