--- a/src/Tools/jEdit/makedist	Fri May 20 23:59:46 2011 +0200
+++ b/src/Tools/jEdit/makedist	Sat May 21 00:00:14 2011 +0200
@@ -4,9 +4,9 @@
 
 ## self references
 
-PRG=$(basename "$0")
-THIS=$(cd "$(dirname "$0")"; pwd)
-SUPER=$(cd "$THIS/.."; pwd)
+PRG="$(basename "$0")"
+THIS="$(cd "$(dirname "$0")"; pwd)"
+SUPER="$(cd "$THIS/.."; pwd)"
 
 
 ## diagnostics
@@ -38,7 +38,7 @@
 
 # options
 
-while getopts "j:s:" OPT
+while getopts "j:" OPT
 do
   case "$OPT" in
     j)