Script to update static web site.

diff --git a/tools/update web site b/tools/update web site
new file mode 100755 (executable)
index 0000000..9c3e204
--- /dev/null
+++ b/tools/update web site
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+cd "${0%/*}"
+
+cd ..
+
+rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/javainspect/