--- a/src/Tools/jEdit/makedist	Tue Jan 11 20:10:34 2011 +0100
+++ b/src/Tools/jEdit/makedist	Tue Jan 11 20:18:48 2011 +0100
@@ -74,6 +74,8 @@
 rm -rf "$JEDIT" jedit
 mkdir "$JEDIT"
 
+rm -f jedit && ln -s "$JEDIT" jedit
+
 
 # copy stuff
changeset 41514	917f1a4fbc77
parent 41513	0ffd5ea44078
child 42899	108e815fdc8e