Updated website update script

diff --git a/tools/update web site b/tools/update web site
index 20a52bc..a4d0fd0 100755 (executable)
--- a/tools/update web site
+++ b/tools/update web site
@@ -1,5 +1,5 @@
 #!/bin/bash
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi;
 
 cd ..