tools/update web site

   1 #!/bin/bash
   2 cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
   3
   4 (
   5     cd ..
   6
   7     # Export org to html using emacs in batch mode
   8     rm -f index.html
   9     emacs --batch -l ~/.emacs --visit=index.org --funcall=org-html-export-to-html --kill
  10
  11     # Upload project homepage to the server.
  12     rsync -avz --delete  -e 'ssh -p 10006' ./ \
  13           --include="*/" \
  14           --include="*.html" \
  15           --include="*.png" \
  16           --include="*.jpeg" \
  17           --include="*.blend" \
  18           --exclude="*" \
  19           n0@www3.svjatoslav.eu:/mnt/big/projects/qbasicapps/
  20
  21 )
  22 echo ""
  23 echo "Press ENTER to close this window."
  24 read