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 mvn clean package
   9
  10 rm -rf doc/apidocs/
  11 cp -r target/apidocs/ doc/
  12
  13 rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/svjatoslav_commons/
  14
  15 echo
  16 echo "Press ENTER to close this terminal"
  17 read